Ejercicios Prcticos Especificacin de algoritmos Tablas de verdad.

1. Sean P, Q y R las proposiciones siguientes:

P = Juan llega demasiado pronto
Q = Mara llega demasiado tarde
R = El jefe se molesta
Traduzca las siguientes oraciones a notacin lgica utilizando las letras P, Q, R
y los conectivos lgicos.
a) Si Juan llega demasiado pronto o Mara demasiado tarde, entonces el
jefe se molesta.
(p q) r

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

b) Si Mara llega demasiado tarde, entonces Juan no llega demasiado

pronto.
q -p
p q -p q -p
V V F F
V F F V
F V V V
F F V V

c) O el jefe se molesta o Mara no llega demasiado tarde.

r -q

q r -q r -q
V V F F
V F F F
F V V F
F F V F
d) Mara llega demasiado tarde, Juan llega demasiado pronto y el jefe se
molesta
(pq) r
 p q r p q (p q) r
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V

e) Si el jefe no se molesta, entonces Juan no llega demasiado pronto y

Mara no llega demasiado tarde

-r -(p q)
P q r -r pq -(p -r -(p
q) q)
V V V F V F F
V V F V V F F
V F V F F V V
V F F V F V V
F V V F V F F
F V F V F F F
F F V F F F F
F F F V F F F

f) O Mara no llega demasiado tarde o Juan llega demasiado pronto.

g) Si Mara no llega demasiado tarde y Juan no llega demasiado pronto,

entonces el jefe no se molesta.

-(p q) -r

P q r -r pq -(p -(p q) -r
 q)
V V V F V F F
V V F V V F V
V F V F F V F
V F F V F V V
F V V F V F F
F V F V F F v
F F V F F F F
F F F V F F V

h) Llueve y las brujas no se peinan o bien hace sol y las brujas no se

peinan

2. [ (p q) v (p q)] [ (p q) v p ] Indique si es Contradiccin,

Tautologa o contingencia.

p q -p (p q) (p [ (p q) v (p [ (p q) v [ (p q) v (p q)] [ (p
q) q)] p ] q) v p ]
V V F V V V V V
V V F V V V V V
F F V V F V V V
F F V V F v V V
Tautologa

3. Si p es V y q es F, determnese el valor de verdad de (p v q) (p v

q p)

p q -p -q (p v (p v q (p v q) (p v q p)
q) p)
V F V F V V V
V F V F V V V
V F V F V V V
V F V F V V V
Tautologa
4. . Resuelva los siguientes ejercicios, aplicando los pasos para resolver un
problema a travs de algoritmos, debe disear la solucin en diagrama
de flujo y pseudocodigo.