Tema 3

Equivalencia. Formas normales.

L
ogica Proposicional

Antonio de J. Perez Jimenez

Departamento Ccia.

L
ogica Informatica

Antonio de J. P
erez Jim
enez (Departamento Ccia.)

Tema 3 Equivalencia. Formas normales.

LI-06/07

1/7

Equivalencia logica
A, B PROP son equivalentes, A B, si para toda v, v(A) = v(B).
Proposici
on. Sean A, B PROP. Se tienen las siguientes equivalencias:
Idempotencia: A A A ; A A A
Conmutatividad: A B B A ; A B B A

A (B C ) (A B) C
Asociatividad:
A (B C ) (A B) C
Absorcion: A (A B) A ; A (A B) A

A (B C ) (A B) (A C )
Distributividad:
A (B C ) (A B) (A C )
Doble negacion: A A

(A B) A B
Leyes de De Morgan:
(A B) A B
Leyes de tautologa:

A tautologa: A B B ; A B A

Leyes de inconsistencia: A insatisfactible: A B A ; A B B

Antonio de J. P
erez Jim
enez (Departamento Ccia.)

Tema 3 Equivalencia. Formas normales.

LI-06/07

2/7

Formas Normales
Sustituci
on. Sean B, A, A0 PROP. Indicaremos por B{A/A0 } a la proposicion
que resulta de sustituir en B cada ocurrencia de la subf
ormula A por A0 . Si A no
0
es subf
ormula de B, entonces B{A/A } es B.
Teorema de sustituci
on. Sean B, A, A0 PROP.
0
Si A A entonces B{A/A0 } B.
Nota: El teorema de sustituci
on y las propiedades de equivalencia nos permiten
comprobar, con tecnica algebraicas, cu
ando dos f
ormulas son equivalentes.
Por ejemplo: A (B A) A (B A) (A B) (A A) (A B) A A

Formas normales
Un literal es un smbolo proposicional o su negaci
on.
Definici
on. Una formula esta en forma normal conjuntiva, f.n.c., cuando es una
conjunci
on de disyuncion de literales.
Una f
ormula esta en forma normal disyuntiva, f.n.d., cuando es una disyuncion de
conjuncion de literales.
Antonio de J. P
erez Jim
enez (Departamento Ccia.)

Tema 3 Equivalencia. Formas normales.

LI-06/07

3/7

Formas Normales

Teorema. Toda formula proposicional es equivalente a una formula en f.n.c. y a

una formula en f.n.d.
Procedimiento (demostracion) para pasar F PROP a una f.n.c.:
1) Traducir y en terminos de , , .
2) Trasladar las negaciones hasta que aparezcan asociadas a literales (usando las
leyes de De Morgan).
3) Eliminar dobles negaciones (usando: A A).
4) Aplicar la distributividad de respecto de , hasta obtener una formula en
f.n.c.
Para obtener una formula en f.n.d. seguimos el mismo algoritmo, pero en el paso
4) utilizamos la distributividad de respecto de .

Antonio de J. P
erez Jim
enez (Departamento Ccia.)

Tema 3 Equivalencia. Formas normales.

LI-06/07

4/7

Formas Normales. Ejemplo

Ejemplo:
Pasar a f.n.c. la formula: (p q) (p q)
(p q) (p q)
1)

(p q) (p q)
1)

(p q) (p q)
2)

((p) (q)) (p q)
3)

(p q) (p q)

()

4)

(p (p q) (q (p q))
(p p q) (q p q)
(*) Observese que (p q) (p q) (p q) (p) q esta ya en f.n.d.

Antonio de J. P
erez Jim
enez (Departamento Ccia.)

Tema 3 Equivalencia. Formas normales.

LI-06/07

5/7

Pares complementarios. Satisfactibilidad

Un par complementario es un conjunto de f
ormulas {A, A}.
Lema . Si L1 , . . . , Lk son literales, entonces
1) L1 Lk es tautologa si y s
olo si {L1 , . . . , Lk } contiene un par
complementario.
2) L1 Lk es satisfactible si y s
olo si {L1 , . . . , Lk } no contiene ning
un par
complementario.
[Indicaciones: para la demostraci
on de 1):
* Si {L1 , . . . , Lk } no contiene ning
un par complementario, la f
ormula no ser
a una
tautologa pues podemos definir una valoraci
on v : SP {0, 1} que sea nula sobre cada
literal:
0 si p {L1 , . . . , Lk }
1 si p {L1 , . . . , Lk }
v(p) =
0 en otro caso.

8<
:

** Si {L1 , . . . , Lk } contiene un par complementario, (p.e. Li y Lj ), basta observar que

para cada valoraci
on, v, v(Li ) = 1 o v(Lj ) = 1
El apartado 2) se demuestra de forma an
aloga].
Antonio de J. P
erez Jim
enez (Departamento Ccia.)

Tema 3 Equivalencia. Formas normales.

LI-06/07

6/7

Satisfactibilidad en formas normales

Proposici
on. Sean C1 , . . . , Cn PROP conjunciones de literales y
D1 , . . . , Dm PROP disyunciones de literales. Entonces:
1) C1 Cn es insatisfactible si y s
olo si cada Cj contiene un par de literales
complementarios.
2) D1 , Dn es una tautologa si y s
olo si cada Dj contiene un par de
literales complementarios.
Ejemplos:
1
(p q r q) (p q p) (s r q r )
es una formula expresada en f.n.c. Cada disyunci
on de literales posee un par
complementario. Por tanto es una tautologa.
2
(p q r s) (s q p s) (q r s r )
es una formula expresada en f.n.c. Sin embargo, la primera disyuncion de
literales no posee un par complementario. Por tanto no es una tautologa.
3
(r q s q) (p q p) (r q r )
es una formula expresada en f.n.d. Cada conjunci
on de literales posee un par
complementario. Por tanto es insatisfactible.
4
(q q) (p s q r p) (s q r )
es una formula expresada en f.n.d. Sin embargo, la tercera conjuncion de
literales no posee un par complementario. Por tanto no es insatisfactible.
Antonio de J. P
erez Jim
enez (Departamento Ccia.)

Tema 3 Equivalencia. Formas normales.

LI-06/07

7/7