TALLER DE LGICA PROPOSICIONAL

1. Sean p = "Luis lee la Prensa ", q = "Luis lee el Mundo" y r = " Luis lee el
Universal". Escriba cada una de las siguientes proposiciones en forma
simblica.
a.)

Luis lee la Prensa o el Mundo, pero no el Universal.

b.)

Luis lee la Prensa y el Mundo, pero no lee la Prensa y el Universal.

c.)

No es cierto que Luis lee la Prensa pero no el Universal.

d.)

No es cierto que Luis lee el Universal o el Mundo pero no la Prensa.

Solucin.
a)
b)
c)
d)

(p q) r
(p q ) ~(p r)
~(p ~r)
~( r q)~p

2. Para las siguientes expresiones: construya los respectivos rboles, las tablas de verdad y
determine si son tautologas, contradicciones o contingencias.

a)

[(~p ^ q) (p V ~r)] ~ (p r)

ES UNA CONTINGENCIA

p
q

r
r

TABLA DE LA VERDAD
~ (~p ^ ~
P
q)
r
F F F V
F
V
p q r

(p V
~r)
V

[(~p ^ q) (p
V ~r)]
V

(p
r)
V

[(~p ^ q) (p V ~r)] ~
(p r)
F

~ (p r)

F F V V

F V F V

F V V V

V F F F

V F V F

V V F F

V V V F

b) [(~p<->r) <- (p V s)] (p~r)

p
q

r
r

Tabla de Verdad
p

~P

~p
r

(pV
s)

[(~p<->r)
(p V s)]

F
F
F
F
V
V
V
V

F
F
V
V
F
F
V
V

F
V
F
V
F
V
F
V

V
V
V
V
F
F
F
F

F
F
V
V
V
V
F
F

F
V
F
V
V
V
V
V

F
V
V
V
V
V
V
V

~ (p
r ~r)
V
V
F
F
V
V
F
F

[(~p<->r) <- (p V s)]

(p~r)

F
F
V
V
F
F
F
F

V
V
F
F
V
V
V
V

c) [(~pr) <-/- (p ~s)] ~(~p~r)

<-/-

p
q

Tabla de la verdad
p

~
p

F
F
F
F
V
V
V
V

F
F
V
V
F
F
V
V

F
V
F
V
F
V
F
V

V
V
V
V
F
F
F
F

(~pr ~
)
s

F
F
V
V
V
V
F
F

V
F
V
F
V
F
V
F

(p
~s)

[(~pr) (p
~s)]

~
r

(~p
~r)

~(~p~r)

[(~pr) <-/- (p ~s)]

~(~p~r)

V
F
V
F
V
V
V
V

V
F
F
F
F
F
V
V

V
V
F
F
V
V
F
F

V
V
F
F
F
F
F
F

F
F
V
V
V
V
V
V

F
F
F
F
F
F
V
V

3. Reduzca los siguientes polinomios a formas normales disyuntiva y conjuntiva:

a) (~pq) (pr)

p q r
1 F
F
2 F
3 F
4 V
5 V
6 V
7 V

F
F
V
V
F
F
V
V

F
V
F
V
F
V
F
V

~ (~p (p
r)
p
q)
V
V
V
V
F
F
F
F

F
F
V
V
V
V
V
V

F
V
F
V
V
V
V
V

(~pq)
(pr)
F
V
F
F
F
F
F
F

FNC=
(pVqVr)(pV~qVr)(pV~qV~r)(~pVqVr)(~pVqV~r)(~pV~qVr)(~
pV~qV~r)
FND = (~p ~q r)
b) [(~pr)(ps)] ~(pq)
p q r s
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V

F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

~ (~p (p [(~pr)(p
p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

r)
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F

s)
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V

s)]
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V

(p
q)
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V

~(pq)
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F

[(~pr)(ps)]
~(pq)
V
F
V
F
V
F
V
F
F
F
F
F
V
V
V
V

FNC= (p V q V r V ~s)(p V q V ~r V ~s)(p V ~q V r V ~s)(p V ~q V ~r V

~s)(~p V q V r V s)(~p V q V r V ~s)(~p V q V ~r V s)(~p V q V ~r V ~s)
FND= (~p ^ ~q ^ ~r ^ ~s)(~p ^ ~q ^ r ^ ~s)(~p ^ q ^ ~r ^ ~s)(~p ^
q ^ r ^ ~s)(p ^ q ^ ~r ^ ~s)(p ^ q ^ ~r ^ s)(p ^ q ^ r ^ ~s)(p ^ q ^ r
^ s)

c) [(~pr)(p s)] (~p~r)

p r s
F
F
F
F
V
V
V
V

F
F
V
V
F
F
V
V

F
V
F
V
F
V
F
V

~
p
V
V
V
V
F
F
F
F

(~p
r)
F
F
V
V
V
V
F
F

(p [(~pr)(p
(~p
~r
s)
s)]
~r)
V
F
V
V
F
V
V
V
V
V
F
F
F
F
F
F
F
F
V
F
F
F
V
F
F
V
F
V
F
V
F
V

[(~pr)(p s)]
(~p~r)
V
F
V
V
V
V
F
F

FNC= (pVrV~s)(~pV~rVs)(~pV~rV~s)
FND = (~p^~q^~r)(~p^q^~r)(~p^q^r)(p^~q^~r)(p^~q^r)
4.

De acuerdo a las respectivas salidas determine la forma normal apropiada (conjuntiva o

disyuntiva), y reduzca el polinomio a su ms mnima expresin, con las reglas de reduccin
apropiadas:
p q r S1 S2 S3 S4
FFF F
V F V
FFV F
F V V
FVF V
V V V
FVV F
F V F
VFF F
V F F
VFV V
V V F
VVF F
F
F F
VVV F
F V F

S1=FND = (~p^q^~r) (p^~q^r)

S2=FND = (~p^~q^~r) (~p^q^~r) (p^~q^~r) (p^~q^r)
= ~p (~q^~r) (q ^~r) (p^~q) (~r^r)
= ~p [(~q ^ q) ^~r] (p^~q) F
=~p F ^~r (p^~q) F
= (~p ~r) (p ^~q)
=~(p^r) (pq)
S3= FNC= (p q r)^(~p qr)^(~p ~q r)
=[(qr) (~p^p)] ^(~p ~q r)
=[(qr) F] ^(~p ~q r)
=(qr)^ (~p ~q r)
=r[~p (q^~q)]
= r[~p V]
= r~q
=rq
S4=FND = (~p^~q^~r) (~p^~q^r) (~p^q^~r)

= [(~p^~q) (r ~r)] (~p^q^~r)

= [(~p^~q) F] (~p^q^~r)
= (~p^~q) (~p^q^~r)
=~p ^(~q q) ~r
=~p^F ~r
=~p ~r
=~(p^q)

5. Dadas las respectivas premisas, establezca la inferencia lgica apropiada mediante el uso
de las reglas de inferencia:

a.) p ~r Premisa 1
rq
p

b.) p ~ (q v s) Premisa 1

Premisa 2
Premisa 3

Premisa 2

t (q v s)

Premisa 3

rt

Premisa 4

c.) (p v q) Premisa 1
~r

Premisa 2

q r Premisa 3

a) p~r
p
~r
b) p ~ (q v s)
p
~( q v s)
c) p~r
^~r
P
6. Escriba los siguientes polinomios lgicos en su equivalente Booleano:

a) [(p^q) (p~r)]~(~p^~r)
[(AB) (AC)](A C)
b) [(AB)(A+C)] (A+B)

TALLER DE ALGEBRA BOOLEANA

1. Simplificar las siguientes expresiones Booleanas y dibuje los respectivos circuitos
equivalentes.

a. [A(1+BC)+AB](A+B+C)
A[B(A+C)](A+B+C)
AB(A+C)[(A+C)+B]
(A+C)(AB+B)
(A+CB)
b. (A+B)(A+C)(B+C)