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 que intervienen en la

implicacin son falsas.

3) Evaluar la tabla de verdad de la proposicin compuesta

~ (p q) (~p V ~q)

Solucin

p q ~ (p q) (~p v ~q)
V V F V V F
V F V F V V
F V V F V V
F F V F 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)]

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

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

El valor de verdad

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

p q [(~p v q) ~q] ~p
V V V F F V F
V F F F V V F
F V V F F V V
F F 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 q (p q) ~ (p v q) ~ [p v ( ~ p v ~q)]
V V V F F V F V V F
V F F F F V F V V V
F V F F F V F F V V
F F F F V F F F V V
Es una Contradiccin
7) Demostrar que las proposiciones dadas es una tautologa:

[(p v ~q) q] p

Solucin

p q [(p v ~q) q] p
V V V V V V V
V F V F F V V
F V F F V V F
F F V F F V F
Es una tautologa

8) Verificar que la proposicin dada es una contingencia:

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

Solucin

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

V V V F F V F V V V
V V F F F V F V V V
V F V F F V V V F F
V F F F F F V V F F
F V V V V V V V V V
F V F V V V F F F V
F F V V V V F V F F
F F F V F F V F F F
Es una contingencia

9) Determinar si las proposiciones [p (r v ~q)] y [(q ~p) v (~r

~p)] son equivalentes.

Solucin

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

]
V V V V V V F V V
V V F V F F F F F
V F V V V V V V V
V F F V V V V V F
F V V F V V V V V
F V F F V F V V V
F F V F V V V V V
F F F F V 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 (~r ~p)] y ~q ~p

son equivalentes

Solucin

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

V V V V V F V
V V F V V F V
V F V F F F F
V F F F F F F
F V V V V F V
F V F V V V V
F F V V V F V
F F F V V V V
Idnticas

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) ~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)] v p por conmutativa en la conjuncin

~ [~q v p] v p por absorcin

(~p q) v p por Morgan

p v q por absorcin

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

12) De la falsedad de la proposicin: (p ~q) v (~r s) determinar el

valor de verdad de los esquemas moleculares.

a) (~p ~q) v ~q b) (~r v q) (~q v r) ^ s

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 ~rs F
por implicacin por implicacin

p es V y ~q es F ~r es V y s es F
por negacin 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 b) (~r v q) ( ~q v r) ^ s

F F V V F F
F F F
F
V
F F
F
 el valor de verdad es F el valor de verdad es F

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

V V V V F
V

V F

F el valor de verdad es 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

Por conjuncin

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

Por negacin por implicacin
(p v q ) v (r q) (p v q ) ( q p)]

Por disyuncin por disyuncin por conjuncin

(p v q ) es (r q) es P es V y q q es F y p

Por disyuncin por implicacin por negacin

p es F y q r es V y q es Q es F y p
p es V y q es

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 por implicacin

p es F y q es q es V y t es

Por lo tanto p es F, q es V y t es F

a) ( p v t ) v q b) [ p (q v p ) ]

V F F V

V F F V

V F

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

 F V V F V V V

V F V

V V

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

Por implicacin

(p q ) es V (s v r ) es F
Por conjuncin por disyuncin

p es V y q S es F y r

Por negacin por negacin

p es F y q es q es V y t es

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 F V V
V F V
V V
V
F
V
V
V
F
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

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

P v q 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 q p o

q
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:

o p q o
18) Determinar la menor expresin que representa el circuito dado:

o p o
q

q 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 o
p 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

q
o r 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)