UNIVERSIDAD NACIONAL FEDERICO VILLARREAL

FACULTAD DE INGENIERA GEOGRFICA, AMBIENTAL Y ECOTURISMO

ESCUELA PROFESIONAL DE INGENIERA DE ECOTURISMO

Problemas Resueltos de Algebra Proposicional

Demetrio Ccesa Rayme
1) Evaluar la tabla de verdad de la proposicin compuesta
~ (p q) (~p V ~q)
Solucin:
p
V
V
F
F

q
V
F
V
F

~
F
V
V
V

(p q)
V
F
F
F

V
V
V
V

(~p v ~q)
F
V
V
V

2) Construir la tabla de verdad de la siguiente proposicin:

~{ ~[ p v (~qp) ] v ~[ (p ~q)(q ~p) ]}
Solucin:
Primero simplificaremos la proposicin por la ley de Morgan:
~ ~{[ p v (~q p) ] [ (p ~q) (q ~p) ]}

de donde se tiene

[p v (~q p)] [(p ~q) (q ~p)]

p
V
V
F
F

q
V
F
V
F

[p
V
V
F
F

v
V
V
V
F

(~q p)]
V
V
V
F

V
F
V
F

[(p ~q)
F
V
V
F

V
F
V
V

(q ~p)]
F
F
V
F

3) Determinar si la proposicin [((~p v q) ~ q] ~ p es una Tautologa

p
V
V
F
F

q
V
F
V
F

~q]
~p
F
F
V
F
F
V
V
F
F
F
V
V
V
V
V
V
Es una Tautologa

[(~p v q)
V
F
V
V

4) Verificar que las siguientes proposiciones son contradicciones:

a) ( p q ) ~ ( p v q )

b)

~[ p v ( ~ p v ~q )]

Solucin:
p
V
V
F
F

(p q)
V
F
F
F

q
V
F
V
F

F
F
F
F

~
F
F
F
V

(p v q)
V
V
V
F

~
F
F
F
F

[p
V
V
F
F

v
V
V
V
V

( ~ p v ~q)]
F
V
V
V

Las Proposiciones son Contradictorias

5) Verificar que la Proposicin dada es una Contingencia:
[~p (q v r)] [(p v r) q]
Solucin:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

[~p
F
F
F
F
V
V
V
V

F
F
F
F
V
V
V
F

Es una Contingencia

(q v r)]
V
V
V
F
V
V
V
F

F
F
V
V
V
F
F
V

[(p v r)
V
V
V
V
V
F
V
F

V
V
F
F
V
F
F
F

q]
V
V
F
F
V
V
F
F

6) Determinar si las Proposiciones [p(r v ~q)] y [(q~p) v (~r ~p)] son

equivalentes.
Solucin:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

V
F
V
V
V
V
V
V

[p
V
V
V
V
F
F
F
F

(r v ~q)]
V
F
V
V
V
F
V
V

[(q~p)
F
F
V
V
V
V
V
V

v
V
F
V
V
V
V
V
V

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

Idnticas

Por lo tanto son equivalentes es decir: [p(r v ~q)] [(q~p) v (~r~p)]

7) Determinar los esquemas ms simples de la proposicin:

~ [~ (p q) ~q] v p
Solucin
~ [~ (p q) ~q]

v p

~ [~ ~ (p q) v ~q)] v p

por la condicional

~ [(p q) v ~q] v p

por la negacin

~ [~q v (p q)]

por conmutativa en la conjuncin

~ [~q v p]
(~p q)

v p

v p
v p

p v q

por distributiva y tautologa

por conmutativa y Morgan
por distributiva y tautologa

~ [~ (p q) ~q] v p

p v q

8) De la falsedad de la Proposicin: (p ~q) v (~rs) determinar el valor de

verdad de los Esquemas Moleculares.
b) (~r v q) (~q v r) ^ s

a) (~p ~q) v ~q
c) (p q) (p v q) ^ ~q
Solucin

Determinaremos el valor de verdad de p, q, r, y s.

(p ~q) v (~rs)

F falso

por la disyuncin

p ~q
F
por implicacin

~rs
F
por implicacin

p es V y ~q es F
por negacin

~r es V y s es F
por negacin

P es V y q es V

r es F y s es F

Por lo tanto: p es V, q es V, r es F, s es F
a) (~p ^ ~q) v ~q
F

b) (~r v q) ( ~q
V

r)

^ s

F
V

el valor de verdad es F

el valor de verdad es F

c) (p q) (p v q) ^ ~q
V

V
V

F
F

el valor de verdad es F

9) El valor de verdad de:

~[(~p v q ) v (r q)] ^ [(~ p v q) (q ^ ~p)] es verdadera.
Hallar el valor de verdad de p, q, y r
Solucin:
[( p v q ) v (r q)] [( p v q ) ( q p)] es
V

Por conjuncin

[(p v q) v (r q)] es V

[(p v q) (q p)] es V

Por negacin

por implicacin
(p v q) es F

(p v q) v (r q) es F

Por disyuncin
(p v q) es F

Por disyuncin
p es F y q es F

por disyuncin

(r q) es F

r es V y q es F

q es F y p es F

por negacin
Q es F y p es V

p es V y q es F

p es V
Por lo tanto el valor de verdad de

por conjuncin

P es V y q es F

por implicacin

( q p) es F

q es F
r es V

10) Se sabe que (p q) y (q t) son falsas, determinar el valor de verdad de

los esquemas moleculares siguientes:
b) ~ [p (~q v ~p)]

a) (~p v t) v ~ q

c) [(p q) ~ (q t)] [~p v (q ~t)]

Solucin

Determinaremos el valor de verdad de las proposiciones p, q, t

( p q ) ( q t) es F

Por conjuncin
( p q ) es F

( q t) es F

Por conjuncin

por implicacin

p es F y q es V

q es V y t es F

Por lo tanto p es F, q es V y t es F
a) ( p v t ) v q
V

b) [ p (q v p ) ]

c) [(p q)(q t)] [p v (qt)]

F

V
F

V V

V
V

V
V

11) Si la proposicin (p q) (s v r) es falsa. Determinar cul de las

proposiciones son verdaderas:
a) [ ( p q) r ]

b) ( ~p q) [ (r v r ) s ]

c) [(p v q) p] v q
Solucin
(pq ) (s v r ) es F

Por implicacin
(p q ) es V

(s v r ) es F

Por conjuncin

por disyuncin

p es V y q es V

S es F y r es F

Por negacin

por negacin

p es F y q es V

q es V y t es F

Por lo tanto p es F, q es V
S es V, r es F

a) [ ( p q) r ]

b) ( p q ) [ (r v r ) s ]

F
El valor de verdad es V

F
V

El valor de verdad F

c) [ ( p v q ) p ] v q
F

F
F

F
F

F
F

El valor de verdad es F
Por lo tanto nicamente es verdadera la a)

12) Determinar el esquema ms simple de la proposicin

[(p q) v (p q)] v (p q)
Solucin
[(p q) v (p q)] v (p q)
[((p q) vp) ((pq) v q)] v(pq)

Por distribucin con respecto a

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

Conmutativa

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

Por absorcin y distributiva

[p (q v p) V] v (p q)

Por identidad

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

Por identidad

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

Por conmutativa en v

p v (p q)

Por absorcin y distributiva

P v q

Por absorcin y distributiva

Por lo tanto [(p q) v (p q)] v (p q) p v q

13) Hallar la proposicin equivalente ms simplificada del siguiente circuito

p

q
p

p
q

Solucin:
La funcin booleana del Circuito dado es: [pvq v (p q)] (p v q) p
Simplificando la proposicin obtenida se tiene:
[(p v q) v (p q)] [(p v q) p]

distributiva con respecto

[p v q v p) (p v q v q)] [(p v q) p] distributiva respecto a v

(V V) [(p p) v (p q)]

por equivalencias

V [F v (p q)] = V v (p q) = p q
Por lo tanto la equivalencia es: [p v q v (p q)] v [(p v q) p] p q
Por lo tanto el circuito simplificado equivalente es:

14) Determinar la menor expresin que representa el circuito dado:

p

Solucin:
La funcin Booleana del circuito dado es: [p v (q p) v q] p
Ahora simplificamos la proposicin obtenida
[p v (q p) v q] p [p v q v p] p
[(p v q) v q] p
( V v q) p q p

15) Determinar la menor expresin que representa al circuito dado:

p

p
p
q

Solucin:
La funcin booleana del circuito dado es: [(p q) v (p (p v q))]
Ahora simplificando la proposicin obtenida
[(p q) v (p (p v q))] [ (p q ) v ( p q ) ] p q

20) Determinar la menor expresin que representa el circuito dado:

r
p

r
q
p

Solucin:
La funcin del circuito dado es: (p v q) [(r v q) v (p q)] r
Simplificando la proposicin obtenida.
..
Verificar..

(p v q) r

16) Determinar los circuitos lgicos que representan los siguientes esquemas
moleculares.
a) [ p ( q v r ) ]
Solucin:
Simplificando se tiene:
b) [ p ( q v r ) [p v ( q v r) ]
= p (q v r)

c) ( p v q ) [ (p v q ) ( p q ) ]
Solucin
(p v q)[ ( ~p v q ) ( p q ) (p v q ) v [ (p v q ) v ( p q ) ]
(p v q) v [ ( p q ) v ( p q ) ]
(p q) v p
(p v q)

Nota: corregir q