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.- implificar la expresin!

"#p p$ q% "q #r q$% "p #p q$%

&ecuerde 'bicar la ley que utili(a

"#p p$ q% "q #r q$% "p #p q$% )mpla. *aterial "#p p$ q% "q #r q$% "#p p$ q% Asociativa #v q$ "q #r q$% #v q$ +omplemento v "q #r q$% v ,ominancia v v "q #r q$% Asociativa v "q #r q$% )dempotencia q #r q$ -lemento .eutro #q r$ #q q$ ,istributiva #q r$ v +omplemento q r -lemento .eutro

2.- implificar

"#p q$ #p q$% #p q$ "#p q$ #p q$% #p q$ Ley de *organ "p #q q$% #p q$ ,istributiva #p v$ #p q$ +omplemento p #p q$ -lemento .eutro

#p$ #p q$ )mplicacin *aterial p #p q$ ,oble .egacin #p p$ #p q$ ,istributiva v #p q$ +omplemento pq -lemento .eutro

/. "#0 12$ 0 % 2 1 "1 #10 v 12$ v 0 % v 2 )mplicacin *aterial "1 1 #10 v 12$ 3 0 % v 2 *organ " #10 v 12$ 3 0 % v 2 ,oble .egacin " 0 3 #10 v 12$ % v 2 +onmutativa " #0 3 10 $ v #0 3 12$ % v 2 ,istributiva " 4 v #0 3 12$ % v 2 +omplemento #0 3 12$ v 2 -lemento .eutro 2 v #0 3 12$ +onmutativa #2 v 0$ 3 #2 v 12$ ,istributiva #2 v 0$ 3 5 +omplemeto #2 v 0$ -lemento .eutro

6. "#0 3 2$ 1&% v "0 #2 1&$% "1 #0 3 2$ v 1&% v "10 v #12 v 1&$% )mplicacin *aterial "#10 v 12$ v 1&% v "10 v #12 v 1&$% *organ 10 v 12 v 1& v 10 v 12 v 1& #10 v 10$ v #12 v 12$ v #1& v 1&$ Asociacin 10 v 12 v 1& )dempotencia 1#0 3 2 3 &$ *organ