Formales normales:

Formales normales:Una expresin se encuentra en forma normal cuando no contiene:

-implicaciones

-doble implicaciones

-parntesis negados

-disyunciones exclusivas

Las nicas conectivas que pueden aparecer son: conjuncin (), disyuncin () y la negacin () pero de las literales (enunciados simples o tomos).

Forma Normal Conjuntiva

Una frmula est en forma normal conjuntiva (FNC) si es una conjuncin de disyunciones de literales; es decir, es de la forma F1 ^ F 2 ^ F 3 ^... ^ F n, en la cual Fn es una frmula construida por una agrupacin de tomos unidos por disyunciones; esto es Fn es P 1 ( P 2 ( P 3 (...( P m. Ejemplos:p q

(pq)qr

(pq)(q p)

Forma Normal Disyuntiva

Una frmula est en forma normal disyuntiva (FND) si es una disyuncin de conjunciones de literales; es decir, es de la forma F 1 ( F 2 ( F 3 (...( F n, en la cual Fn es una frmula construida por una agrupacin de tomos unidos por conjunciones; esto es Fn es P 1 ^ P 2 ^ P 3 ^... ^ P m. Ejemplos:

pq

(pq)qr(pq)(q p)

Pasos para convertir una expresin a su forma normal, bien sea conjuntiva o disyuntiva:

-Eliminar parntesis negados a travs de las leyes de DMorgan (cuantas veces sea necesario)-Eliminar , , -Eliminar doble negacin a travs de la ley de la doble negacin (cuantas veces sea necesario)

-Aplicar si se requiere (y cuantas veces sea necesario) las leyes asociativa, conmutativa y distributiva

-Aplicar si se requiere (y cuantas veces sea necesario) la ley de idempotencia

-Eliminar a travs de las leyes de complemento y de identidad: =tautologa de disyunciones en conjunciones p ( p (pp) p ( p (ppq) =negacin (contradiccin, falacia) de conjunciones en disyunciones p ( p (pp) p ( p (ppq)Encontrar la FNC y la FND de las siguientes expresiones:

(p(pq)) p(p(qr))

(pq)(q p)

(pq)r

(pq) (pq)