Está en la página 1de 14

EJERCICIOS RESUELTOS

1) Determinar el valor de verdad de cada una de las siguientes proposiciones: a) Si 5 + 4 = 11, entonces 6 + 6 = 12 Solucin Es verdadera puesto que el antecedente es falso mientras que el consecuente es verdadero. b) No es verdad que 3 + 3 = 7 si y solo si 5 + 5 = 12 Solucin Es falso puesto que se est negando una proposicin verdadera. c) Lima est en Chile o La Paz est en Ecuador. Solucin Es falso puesto que ambas componentes son falsas. d) No es verdad que 2 + 2 = 5 o que 3 + 1 = 4 Solucin Es falso puesto que se est negando una proposicin verdadera. 2) Determinar el valor de verdad de cada una de las siguientes proposiciones: a) 4 + 8 = 12 y 9 4 = 5 Solucin Es verdadera V, porque es una conjuncin cuyas dos proposiciones son verdaderas. b) 8 + 4 = 12 y 8 3 = 2 Solucin Es falso F, puesto que es una conjuncin con una proposicin falsa c) 8 + 4 = 12 o 7 2 = 3

Es verdadera V, puesto que es una disyuncin con una proposicin simple verdadera

d) S 4 + 3 = 2, entonces 5 + 5 = 10 Solucin Es verdadera V, por ser una implicacin en donde el antecedente es falso F, y el consecuente es verdadero V de dos proposiciones simples. e) Si 4 + 5 = 9, entonces 3 + 1 = 2 Solucin Es falso F, puesto que de una proposicin verdadera V no puede implicar una proposicin falsa F. f) S 7 + 3 = 4, entonces 11 7 = 9 Solucin Es verdadera V, puesto que las proposiciones implicacin son falsas. que intervienen en la

3) 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

4) 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)] (~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

p V V F F

q V F V F

[p V V F F

v V V V F

El valor de verdad

5) Determinar la proposicin [((~p) v q) ~ q]

~ p es una tautologa

p V V F F

q V F V F

[(~p v q) V F V V

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

6) 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 q V F V F (p q) V F F 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

Contradiccin

7) Demostrar que las proposiciones dadas es una tautologa: [(p v ~q) q] p Solucin p V V F F q V F V F [(p v ~q) V V F V V F F F q] p V V V F V V V V F F V F Es una tautologa

8) Verificar que la proposicin dada es una contingencia: [~p (q v r)] 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 (q v r)] [(p v r) V F V V F V V V V F V V V V V V F F V F V F V F Es una contingencia V V F F V F F F q] V V F F V V F F ~p)] son [(p v r) q]

9) Determinar si las proposiciones [p (r v ~q)] y [(q ~p) v (~r 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 [p V V V V F F F F V F V V V V V V (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)]

10) Determinar si las proposiciones [(~p v q) v 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 [(~p v q) V V F F V V V V v V V F F V V V V (~r ~p)] F F F F F V F V Idnticas ~q~p V V F F V V V V

(~r ~p)] y ~q

~p son

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

q p

11) Determinar los esquemas ms simples de la proposicin: ~ [~ (p q) Solucin ~ [~ (p q) ~q] v p por la condicional por la negacin por conmutativa en la conjuncin por absorcin por Morgan por absorcin ~q] v p

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

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

p v q

12) De la falsedad de la proposicin: (p verdad de los esquemas moleculares. a) (~p ~q) v ~q c) (p Solucin q) (p v q) ^ ~q

~q) v (~r s) determinar el valor de

b) (~r v q)

(~q v r) ^ s

Determinaremos el valor de verdad de p, q, r, y s. (p ~q) v (~rs) por la disyuncin F falso

p ~q F por implicacin p es V y ~q es F por negacin P es V y q es V

~rs F por implicacin ~r es V y s es F por negacin 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 F F F


V F

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

r) F

^ s
F

el valor de verdad es F

el valor de verdad es F

c) (p q) (p v q) ^ ~q V V V V V F F el valor de verdad es F V
F

13 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
(p v q ) v (r q) es F

por implicacin
(p v q ) es F ( q p)]

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

por disyuncin

por conjuncin
q es F y p es F

P es V y q es F

Por disyuncin
p es F y q es F

por implicacin
r es V y q 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 q es F r es V

14) Se sabe que p q y q t son falsas, determinar el valor de verdad de los esquemas moleculares siguientes: a) (~p v t) v ~ q b) ~ [p (~q v ~p)]

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
p es F y q es V

por implicacin
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 V V V c) [(p q)(q t)] [p v (qt)] F V V V V V V F F V V V V F F F F b) [ p (q v p ) ] F V V

15) Si la proposicin (p q) (s v r) es falsa. Determinar cul de las proposiciones son verdaderas: a) [ ( p q) r ] c) [(p v q) p] v q Solucin
(pq ) (s v r ) es F

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

Por implicacin
(p q ) es V (s v r ) es F

Por conjuncin
p es V y q es V

por disyuncin
S es F y r es F

Por negacin
p es F y q es V

por negacin
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 V

V V

V V

V
V El valor de verdad es 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)

16) 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) [p v (p q) (q v (p q)] v (p q) [p ((q v p) (q v q))] v (p q) [p (q v p) V] v (p q) [p (q v p)] v (p q) [p (p v q)] v (p q) p v (p q) P v q Por distribucin con respecto a Conmutativa Por absorcin y distributiva Por identidad Por identidad Por conmutativa en v Por absorcin Por absorcin

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

17) Hallar la proposicin equivalente ms simplificada del siguiente circuito


p p

o
p

q
q 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)] 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: por equivalencias

18) 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 ( Vv q) p q p

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


p q

o
p

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 ) ( p q ) ] p q

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


r p

o
q p q

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

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

b) ( p ) ( p q )

Solucin (p ) ( p q ) (p ) (p v q ) (p (p v q ) v ( p ( p q ) ) (p ) v ( p )

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)