SIMPLIFICACIN DE PROPOSICIONES

La simplificacin de una proposicin, o dicho de otra manera, la simplificacin

de una expresin lgica consiste en reducir la expresin lgica a una forma ms simple
mediante el uso de los axiomas y/o leyes lgicas.
La simplificacin consiste en ir desarrollando la expresin paso a paso
mediante la sustitucin en cada paso de una expresin lgica equivalente a la anterior,
hasta llegar a una expresin lgica irreducible.
A travs de la simplificacin podemos tambin demostrar una equivalencia
lgica sin usar tablas de verdad.

1.- Simplificar la expresin:

[(p p) q] [q (r q)] [p (p q)] Recuerde Ubicar la ley que utiliza

[(p p) q] [q (r q)] [p (p q)] Impla. Material

[(p p) q] [q (r q)] [(p p) q] Asociativa

(v q) [q (r q)] (v q) Complemento

v [q (r q)] v Dominancia

v v [q (r q)] Asociativa

v [q (r q)] Idempotencia

q (r q) Elemento Neutro

(q r) (q q) Distributiva

(q r) v Complemento

q r Elemento Neutro

2.-Simplificar

[(p q) (p q)] (p q)

[(p q) (p q)] (p q) Ley de Morgan

[p (q q)] (p q) Distributiva

(p v) (p q) Complemento

p (p q) Elemento Neutro

(p) (p q) Implicacin Material

 p (p q) Doble Negacin

(p p) (p q) Distributiva

v (p q) Complemento

pq Elemento Neutro

3. [(P Q) P ] Q

[ (P v Q) v P ] v Q Implicacin Material
[ (P v Q) P ] v Q Morgan
[ (P v Q) P ] v Q Doble Negacin
[ P (P v Q) ] v Q Conmutativa
[ (P P ) v (P Q) ] v Q Distributiva
[ F v (P Q) ] v Q Complemento
(P Q) v Q Elemento Neutro
Q v (P Q) Conmutativa
(Q v P) (Q v Q) Distributiva
(Q v P) V Complemeto
(Q v P) Elemento Neutro

4. [(P Q) R] v [P (Q R)]

[ (P Q) v R] v [P v (Q v R)] Implicacin Material

[(P v Q) v R] v [P v (Q v R)] Morgan
P v Q v R v P v Q v R
(P v P) v (Q v Q) v (R v R) Asociacin
P v Q v R Idempotencia
(P Q R) Morgan