Академический Документы
Профессиональный Документы
Культура Документы
a) Si 5 + 4 = 11, entonces 6 + 6 = 12
Solución
Solución
Solución
Solución
a) 4 + 8 = 12 y 9 – 4 = 5
Solución
b) 8 + 4 = 12 y 8 – 3 = 2
Solución
c) 8 + 4 = 12 o 7 – 2 = 3
Es verdadera V, puesto que es una disyunción con una proposición simple
verdadera
d) Sí 4 + 3 = 2, entonces 5 + 5 = 10
Solución
e) Si 4 + 5 = 9, entonces 3 + 1 = 2
Solución
f) Sí 7 + 3 = 4, entonces 11 – 7 = 9
Solución
~ (p Λ q) ↔ (~p V ~q)
Solución
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
Solución
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 tautología
a) ( p ˄ q ) ˄ ~ ( p v q ) b) ~[ p v ( ~ p v ~q )]
Solución
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
Contradicción
7) Demostrar que las proposiciones dadas es una tautología:
[(p v ~q) ˄ q] →p
Solución
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 tautología
Solución
Solución
Solución
~ [~ (p Λ q) → ~q] v p
Solución
~ [~ (p Λ q) → ~q] v p
p v q por absorción
∴ ~ [~ (p Λ q) → ~q] v p ≡p v q
c) (p → q) → (p v q) ^ ~q
Solución
por la disyunción
p → ~q F ~r→s F
por implicación por implicación
p es V y ~q es F ~r es V y s es F
por negación por negación
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
V V V V F
V
V F
F el valor de verdad es F
Solución
p es V y q es F
p es V
r es V
Solución
( p Λ q ) Λ ( q → t) es F
Por conjunción
( p Λ q ) es F ( q → t) es F
Por conjunción por implicación
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 b) ∼ [ p Λ (∼q v ∼p ) ]
V F F V
V F F V
V F
F V V F V V V
V F V
V V
V
a) ∼ [ ( p → q) → r ] b) ∼ ( ~∼p Λ q) Λ [ (∼r v r ) Λ s ]
c) [(p v ∼q) Λ p] v ∼q
Solución
(∼pΛq ) → (∼s v r ) es F
Por implicación
(∼p Λ q ) es V (∼s v r ) es F
Por conjunción por disyunción
∼p es V y q es V ∼S es F y r es F
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 V F V V V F V
V V V
F V
V V
F
c) [ ( p v ∼q ) Λ p ] v ∼q
F F
F F
F F
El valor de verdad es F
Solución
P v ∼q Por absorción
Por lo tanto [(p Λ q) v (p Λ ∼q)] v (∼p Λ ∼q) Ξ p v ∼q
p ∼p
O q p O
∼p ∼q q
Solución
La función booleana del circuito dado es: [pvq v (∼p Λ∼q)] Λ [(∼p v q) Λ p]
V Λ [F v (p Λ q)] = V v (p Λ q) = p Λ q
o p q o
p
o ∼p o
q
∼q ∼p
Solución
Ξ [(p v ∼q) v q] Λ ∼p
Ξ ( Vv q) Λ ∼p Ξ q Λ ∼p
∼p ∼q
O ∼p O
p
q
Solución
La función booleana del circuito dado es: [(∼p Λ ∼q) v (p Λ (∼p v q))]
p
∼q
o r o
q
p q
Solución
Ξ (p v q) Λ [∼q v p] Λ r
Ξ [p v (q Λ ∼q)] Λ r
Ξ (p v F) Λ r Ξ p Λ r
a) ∼[ p → ∼ ( q v r ) ]
Solución
Simplificando se tiene:
∼[ p → ∼ ( q v r ) Ξ ∼ [∼p v ~∼ ( q v r)
= p Λ (q v r)
b) (∼ p ) ←→ ( p → ∼q )
Solución
(∼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 ) ]
Solución
( 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)