Existen dos formas básicas de expresiones canónicas que pueden ser implementadas:

- Suma de productos o minitérminos

- Producto de sumas o maxitérminos

Permiten asociar a una función una expresión algebraica única. La tabla de verdad también es una representación única para una función booleana.[6]

En la expresión:

F=AB + AB'C

Su forma canónica (minitérmino) es la suma de productos de aquellos términos en los que el valor de la expresión es uno. El resultado es:

F=ABC + ABC' + AB'C 

En la expresión:

F=(A+B')(A+B+C)

Su forma canónica (maxitérmino) es el producto de sumas de aquellos términos en los que el valor de la expresión es uno. El resultado es:

F=(A+B+C)(A+B+C')(A+B'+C)(A+B'+C')(A'+B+C)(A'+B+C')