Forma normal disyuntiva
En lógica booleana, una fórmula está en forma normal disyuntiva (FND) si corresponde a una disyunción de cláusulas conjuntivas, donde una cláusula conjuntiva es una conjunción de literales, donde un literal y su complemento no pueden aparecer en la misma cláusula.
Todas las conjunciones de literales y todas las disyunciones de literales están en FND, pues ellas pueden ser vistas, respectivamente, como disyunciones de una única cláusula, y como disyunciones de cláusulas de un literal. Al igual que en una forma normal conjuntiva (FNC), los únicos conectivos lógicos que pueden aparecen en una fórmula en FND son la conjunción, disyunción y negación. El operador negación sólo puede aplicarse a un literal, y no a una cláusula completa, lo que significa que este sólo puede preceder a una variable proposicional.
