Forma canónica 

Toda función lógica se puede expresar como combinación de dos tipos de términos conocidos como canónicos: los minitérminos (o minterms) y los maxitérminos (o maxterms).

Un minitérmino o minterm es una cláusula formada por n literales (positivos o negativos) conectados únicamente por la conjunción lógica (AND). Ejemplos de minterms para n=3 son a·b·c a·b·c y a·b·c. Se puede observar que cada minterm tiene una interpretación verdadera para una única combinación de valores de las variables. Por ejemplo, el minterm a·b·c es verdadero solo cuando a y c son ciertos (valor '1') y b es falso (valor '0').