Forma Normal Disyuntiva

Es una disyunción de un conjunto finito cualquiera de conjunciones elementales diferentes entre sí.[2]

Ejemplos:

p ^ q

(p ^ q) v (p ^ ¬q)

(p ^ q ^ ¬ r) v (p ^ ¬q ^ r)

(p ^ q ^ ¬ r) v (p ^ ¬ q) v (p ^ q ^ r)

En la definición anterior no se excluyen los casos de disyunciones de un conjunto vacío de miembros y disyunción de un solo miembro como es el caso de la primera expresión del ejemplo.

Forma Normal Conjuntiva

Es una conjunción de un conjunto finito cualquiera de disyunciones elementales diferentes entre sí.[2]

Ejemplos:

p v q
(p v q v r) ^ (p v r)
(p v q v ¬ r) ^ (p v q v r) ^ ( ¬ p v q)

Al igual que las FND, las formas normales conjuntivas pueden ser de una sola disyunción elemental y de un conjunto vacío de ellas.