Formas Normales

FORMAS NORMALES

Son formas estándar para las expresiones lógicas, existen dos tipos de formas normales, formas normales disyuntivas y formas normales conjuntivas. Conjuncion= Λ =Y Disyuncion=V=0.

FORMAS NORMALES DISYUNTIVAS

Se dice que una expresión lógica está en forma normal disyuntiva si está escrita como una disyunción, en el cual todos los términos son conjunciones de literales.

EJEMPLO:

FORMAS NORMALES CONJUNTIVAS

Se dice que una expresion logica está en forma normal conjuntiva si está escrita como una conjunción de disyunciones de literales.

EJEMPLO: