Teorema:
Toda expresión booleana que no contiene constantes es igual a una función en forma normal disyuntiva.
La manera de realizar esa transformación la ilustra el siguiente ejemplo.