Teorema
Toda función en un álgebra booleana que no contiene constantes es igual a una función en forma normal conjuntiva.