Jerson Abril

Universidad Libre
Formal normal conjuntiva
Corresponde a una conjunción de cláusulas, donde una cláusula es una
disyunción de literales, donde un literal y su complemento no pueden aparecer
en la misma cláusula. Esta definición es similar a la de forma de productos de
sumas usadas en teoría de circuitos.
Una formula esta en forma normal conjuntiva (FNC) si es una conjunción de
disyunciones de literales.
Decisión de tautologicidad mediante FNC
 Literales complementarios:
 El complementario de un literal L es Lc=
¬p si L=p
p si L=¬p
 Propiedades de reducción de tautologías
 F1∧. . .∧ Fn es una tautología syssF1,. . ., Fn lo son.
 L1∨. . .∨ Ln es una tautología syss {L1,. . ., Ln} contiene algún par de
literales complementarios (i.e. existen i, j tales que Li=Lcj)
 Decisión de tautologías mediante FNC
 Entrada: Una formula F.
 Procedimiento:
1. Calcular una FNC de F.
2. Decidir si cada una de las conjunciones de la FNC tiene algún
par de literales complementarios.
 Ejemplos de decisión de tautologías mediante FNC
 ¬ (p∧ (q→r)) no es tautología
FNC (¬ (p∧ (q→r))) = (¬p∨q) ∧ (¬p∨¬r)
Contramodelos de ¬ (p∧ (q→r)):
v1 tal que v1 (p) = 1 y v1 (q) = 0
v2 tal que v2 (p) = 1 y v2(r) = 1
 (p→q)∨ (q→p) es tautología:
FNC ((p→q) ∨ (q→p)) =¬p∨q∨¬q∨p
 (p↔q)→r no es tautología:
FNC ((p↔q) →r) = (p∨q∨r) ∧ (¬q∨¬p∨r)
Contramodelos de (p↔q) →r:
v1 tal que v1 (p) = 0, v1 (q) = 0 y v1(r) = 0
 v2 tal quev2 (p) = 1, v2 (q) = 1 y v2(r) = 0

Algoritmo de cálculo de forma normal conjuntiva:

Algoritmo: Aplicando a una formula F los siguientes pasos se obtiene una forma
normal conjuntiva de F:
Interdefinición: eliminar bicondicionales y condicionales usando la
equivalencia.
⊢ (a↔b) ↔ (a→b) ∧ (b→a)
⊢ (a→b) ↔ (¬a∨b)
Leyes de Morgan: interiorizar negaciones usando equivalencias.
⊢¬ (a∧b) ↔¬a∨¬b
⊢¬ (a∨b) ↔¬a∧¬b
Distribución de ∨ y ∧:
⊢a∧ (b∨c) ↔ (a∧b) ∨ (a∧c)
⊢a∨ (b∧c) ↔ (a∨b) ∧ (a∨c)
Doble negación:
⊢¬¬a↔a
Ejemplo
(¬p∨r) ∧ (¬p∨r) está en FNC
(¬p∨q) ∧ (q→p) no está en FNC
Ejercicios
1. (p→r) ∨ (q→p)
(¬p∨r) ∨ (q→p)
(¬p∨r) ∨ (¬q∨p)
¬p∨r∨¬q∨p
FNC=¬p∨r∨¬q∨p

2.¬ (p∧ (q→r))

¬p∨¬ (q→r)
¬p∨¬ (¬q∨r)
¬p∨ (¬¬q∧¬r)
¬p∨ (q∧¬r)
(¬p∨q) ∧ (¬p∨¬r)
FNC= (¬p∨q) ∧ (¬p∨¬r)
Forma normal disyuntiva
Es una estandarización (o normalización) de una fórmula lógica que es una
disyunción de cláusulas conjuntivas. Como una forma normal, es útil en la
demostración automática de teoremas. Una fórmula FND está en forma normal
disyuntiva completa si cada una de sus variables aparece exactamente una vez
en cada cláusula.
Al igual que en forma normal conjuntiva (FNC), los únicos operadores
proposicionales en FND son la conjunción, disyunción y negación. Una
negación solo se puede aplicar a un literal, lo que significa que solo puede
preceder a una variable proposicional.
Decisión de satisfacibilidad mediante FND
 Propiedades de reducción de satisfacibilidad
 F1∨. . .∨Fn es satisfacible syss alguna de las formulasF1,. . ., Fn lo
es.
 L1∧. . .∧Ln es satisfacible syss {L1,. . ., Ln} no contiene ningún par
de literales complementarios.
 Decisión de satisfacibilidad mediante FND
 Entrada: Una formula F.
 Procedimiento:
1. Calcular una FND de F.
2. Decidir si alguna de las disyunciones de la FND no tiene un par
de literales complementarios.
 Ejemplos de decisión de satisfacibilidad mediante FND
 ¬ (p∧ (q→r)) es satisfacible:
FND (¬ (p∧ (q→r))) =¬p∨ (q∧¬r)
Modelos de¬ (p∧ (q→r)):
v1tal que v1 (p) = 0
v2tal que v2 (q) = 1 yv2(r) = 0
 ¬ (¬p∨¬q→¬ (p∧q)) es insatisfacible:
FND (¬ (¬p∨¬q→¬ (p∧q))) = (¬p∧p∧q) ∨ (¬q∧p∧q)
Convertir una fórmula en FND
La conversión de una fórmula para FND implica el uso de equivalencias lógicas
como la eliminación de la doble negación, las leyes de Morgan, y uso de la
distributividad.
Aplicando a una formula F los siguientes pasos se obtiene una forma
normal disyuntiva de F:
1. Eliminar los bicondicionales usando la equivalencia
a↔b= (a→b) ∧ (b→a)
2. Eliminar los condicionales usando la equivalencia
a→b=¬a∨b
3. Interiorizar las negaciones usando las equivalencias
¬ (a∧b)=¬a∨¬b
¬ (a∨b)=¬a∧¬b
¬¬a=a
4. Interiorizar las conjunciones usando las equivalencias
a∧ (b∨c)= (a∧b) ∨ (a∧c)
(a∨b)∧c= (a∧c) ∨ (b∧c)
Ejemplo
(a∧b) ∨ c está en FNC
¬ (a∨b) no está en FNC porque la negación se aplica a una cláusula disyuntiva,
no a un literal.

Ejercicios

1.¬ (p∧ (q→r))

= ¬ (p∧ (¬q∨r))
= ¬p∨¬ (¬q∨r)
= ¬p∨ (¬¬q∧¬r)
= ¬p∨ (q∧¬r)
2.¬ (¬p∨¬q→¬ (p∧q))

= ¬ (¬ (¬p∨¬q) ∨¬ (p∧q))
=¬¬ (¬p∨¬q) ∧¬¬ (p∧q)
= (¬p∨¬q) ∧ (p∧q)
= (¬p∧ (p∧q)) ∨ (¬q∧ (p∧q))
= (¬p∧p∧q) ∨ (¬q∧p∧q)