Documentos de Académico
Documentos de Profesional
Documentos de Cultura
a) Si 5 + 4 = 11, entonces 6 + 6 = 12
Solucin
Solucin
Solucin
Solucin
a) 4 + 8 = 12 y 9 4 = 5
Solucin
b) 8 + 4 = 12 y 8 3 = 2
Solucin
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
e) Si 4 + 5 = 9, entonces 3 + 1 = 2
Solucin
f) S 7 + 3 = 4, entonces 11 7 = 9
Solucin
~ (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
Solucin
El valor de verdad
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
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
Solucin
Solucin
Idnticas
Solucin
~ [~ (p q) ~q] v p
Solucin
~ [~ (p q) ~q] v p
p v q por absorcin
~ [~ (p q) ~q] v p p v q
c) (p q) (p v q) ^ ~q
Solucin
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
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
Solucin
[( p v q ) v (r q)] [( p v q ) ( q
Por conjuncin
p es V
r es V
Solucin
( 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
V F V
V V
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
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
[(p q) v (p q)] v (p q)
Solucin
[(p q) v (p q)] v (p q)
[p v (p q) (q v (p q)] v (p q) Conmutativa
[p (q v p) V] v (p q) Por identidad
p v (p q) Por absorcin
P v q Por absorcin
p
p
o q p o
q
p q
Solucin
V [F v (p q)] = V v (p q) = p q
o p q o
18) Determinar la menor expresin que representa el circuito dado:
o p o
q
q p
Solucin
[p v (q p) v q] p [p v q v p] p
[(p v q) v q] p
( Vv q) p q p
p q
o o
p p
Solucin
[(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
(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
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)