1.

-¬ ( ¬ p →¬ q)
p q ¬p ¬q ¬p→¬q ¬(¬p→¬q)
v v f f v f
v f f v v f
f v v f f v
f f v v v f

2.-¬ (p→q ) v ( ¬ p ^¬ q )
p q ¬p ¬q (¬p ∧ ¬q) (p → q)  (p → q) ∨ (¬p ∧ ¬q) ¬(p → q) ∨ (¬p ∧ ¬q)
v v f f f v v f
v f f v f f f v
f v v f f v v f
f f v v v v v f

3.-( p →¬ q)^( q→¬ r )

p q r ¬q ¬r (p→¬q) (q→¬r) (p→¬q)v(q→¬r)
v v v f f f f f
v v f f v f v v
v f v v f v v v
v f f v v v v v
f v v f f v f v
f v f f v v v v
f f v v f v v v
f f f v v v v v
 4.-( p ^¬ q ) ^( q →¬ r ) v r
p q r ¬q ¬r q → ¬r) (p ∧¬q) q → ¬r) ∨r   (p ∧¬q) ∧ (q → ¬r) ∨r  

v v v f f f f v f
v v f f v v f v f
v f v v f v v v v
v f f v v v v v v
f v v f f f f v f
f v f f v v f v f
f f v v f v f v f
f f f v v v f v f

5.-(p v q ) ^(¬q→p )
p q ¬q (¬q→p) (pvq) (p ∨ q) ∧ (¬q → p)
v v f f v f
v f v v v v
f v f v v v
f f v v f f

6.-p v ( p →( q ^r ) )
p q r (pʌr) (p→(qʌr)) p ∨ (p → (q ∧ r))
v v v v v v
v v f f f v
v f v v v v
v f f f f v
f v v f v v
f v f f v v
f f v f v v
f f f f v v
 7.-( p →q ) →q ξp v q ¿?
p q (p→q) pvq (p → q) → q
v v v v v
v f f v v
f v v v v
f f v f v

8.-( r ^¬ p )v (( q →¬ r ) v ( ¬ r ^p ))

p q r ¬p ¬r (¬r∧p q r∧ ((q¬r) ∨ (¬r (r ∧¬p) ∨ ((q → ¬r) ∨ (¬

) → ¬p ∧p)) r∧p))
¬r
v v v f f f f f f f
v v f f v v v f v v
v f v f f f v f v v
v f f f v v v f v v
f v v v f f f v f v
f v f v v f v f v v
f f v v f f v v v v
f f f v v f v f v v

9.-[(p →q) ^¬ p] →¬ q
p q ¬p ¬q (p→q) [(p →q) ∧ ~p]  [(p →q) ∧ ~p] →~q
v v f f v v v
v f f v f f f
f v v f v f v
f f v v v f f

10.-[( a v b) ^( a v c )] →[ a v (b ^c)]

a b c (avb) (avc) (a ∨ b) ∧ (a ∨ c)]  (bʌc) [a ∨ (b ∧ c)] (a ∨ b) ∧ (a ∨ c)] ⇔ [a ∨ (b ∧ c)]
v v v v v v v v v
v v f v v v f f f
v f v v v v f f f
v f f v v v f f f
f v v v v v v f f
f v f v v v f f v
f f v f f f f f v
f f f f f f f f v