Forma canónica
Se llama forma canónica de una función Booleana a todo producto de sumas o suma de productos en las cuales aparecen todas las variables, en forma directa o complementada, en cada uno de los términos que conforma la expresión.
La función suma de productos recibe el nombre de primera forma canónica o MINTERMS y la función producto de sumas segunda forma canónica o MAXTERMS.