1

-[(p v q) → ( -p ∧ -q) ] condicional

- -[(p v q) v ( -p ∧ -q) ] ley de Morgan
(-p ∧ -q) v ( p ∧ q) distributiva
p∧ (q v-q) ley complemento
(p ∧ V)= p identidad
p q -p -q (p v q) -(p v q) ( -p ∧ -q) -[(p v q) → ( -p ∧ -
q) ]
0 0 1 1 0 1 1 1
0 1 1 0 1 0 0 1
1 0 0 1 1 0 0 1
1 1 0 0 1 0 0 1

2
-[-(p ∧ q) → -q ] v q ley condicional
--[-(p ∧ q) v -q ] v q conmutativa
qv (p ∧ q) v q distributiva
qv (p ∧ q) absorción
=q
p q -q (p ∧ q) -(p ∧ q) -(p ∧ q) → - -[-(p ∧ q) → -q -[-(p ∧ q) → -q ]
q ] vq
0 0 1 0 1 1 0 0
0 1 0 0 1 0 1 1
1 0 1 0 1 1 0 0
1 1 0 1 0 1 0 1
3
[(pv-q) ∧ q] → p condicional
[(-pv-q) ∧ q] v p conmutativa
Pv (-p vq) ∧ q asociativa
-Pv (q ∧ q) complemento
-P∧ V = -P
p q -q (p v - q) [(pv-q) ∧ q] [(pv-q) ∧ q] → p
0 0 1 1 0 1
0 1 0 0 0 1
1 0 1 1 0 1
1 1 0 1 1 1
4
(p ∧-q) → (p v q) condicional
-(p ∧-q) v (p v q)ley de morgan
(-p v-q) v (-p v -q) distributiva
-p v (-qv-q)
Pv = p
p q -q (p ∧ - q) (p v q) (p ∧-q) → (p v q)
0 0 1 0 0 1
0 1 0 0 1 1
1 0 1 1 1 1
1 1 0 0 1 1