ESTUDIANTE: JINNA JIMENEZ 6-717-427

1. [(p ˅ q) ∧ r] ⇒ [ (p ∧ r ) ˅ q ]
p q r (p ˅ q ) [ (p ˅ q ) ∧ r ] (p ∧ r ) [ (p ∧ r ) ˅ q ] [ (p ˅ q ) ∧ r ] ⇒
[ (p ∧ r ) ˅ q ]

V V V V V V V V
V V F V F F V V
V F V V V V V V
V F F V F F F V
F V V V V F V V
F V F V F F V V
F F V F F F F V
F F F F F F F V
p q r ~r (p ↔ q ) (q ˅ ~r) (r ˄ p) ~ (r ˄ p) (p↔q) ˄ (q ˅ ~r) ˄
~ (r ˄ p)
V V V F V V V F F
V V F V V V F V V
V F V F F F V F F
V F F V F V F V F
F V V F F V F V F
F V F V F V F V F
F F V F V F F V F
F F F V V V F V V
2. (p↔q) ˄ (q ˅ ~r) ˄ ~ (r ˄ p)
3.[r ⇒ (p ˅ ~q) ˄ s] ↔ [s⇒ ( r ˅ ~q) ]
r p q s ~q (p ˅ ~q) (p ˅ ~q) r ⇒ (˅~q) ˄ s] ( r ˅~q) [s⇒ ( r˅~q)] [r ⇒ (p ˅ ~q) ˄ s] ↔
˄s [s⇒ ( r ˅ ~q) ]
V V V V F V V V V V V
V V V F F V F F V V F
V V F V V V V V V V V
V V F F V V F F V V F
V F V V F F F F V V F
V F V F F F F F V V F
V F F V V V V V V V V
V F F F V V F F V V F
F V V V F V V V F F F
F V V F F V F V F V V
F V F V V V V V V V V
F V F F V V F V V V V
F F V V F F F V F F F
F F V F F F F V F V V
F F F V V V V V V V V
F F F F V V F V V V V
 4. [p ˅ (q ˄ ~ r) ↔ (p ˅ q) ˄ ( r ˅ p ) ] ⇒ [(p ˅ q ) ˄ ~ p ⇒ ~q ]
p ˅ (q ˄ p ˅ (q ˄ p ˅ (q ˄ ~ r) ↔ (p ˅ q) ˄ ( r ˅
p q r ~r ~p ~q (p ˅ q) (r˅p) (q ˄~ r) [(p ˅ q ) ˄ [(p ˅ q ) (p ˅ q)
~ r) ~ r) ↔ p ) ] ⇒ [(p ˅ q ) ˄ ~ p ⇒ ~q ]
~p ˄~p⇒ ˄ (r˅p) (p ˅ q)
~q ] ˄(r˅
p)

V V V F F F V V F F V V V V V
V V F V F F V V V F V V V V V
V F V F F V V V F F V V V V V
V F F V F V V V F F V V V V V
F V V F V F V V F V F V F F V
F V F V V F V F V V F F V F V
F F V F V V F V F F V F F F V
F F F V V V F F F F V F F F V
 5.( q ˅~p ˅ s) ↔ (p ˄ r ⇒~q)

( q ˅~p ˅ s) ↔ (p ˄ r
q p s r ~p ~ (p ˄ r ) p ˄ r ⇒~q ( q ˅~p ˅ s)
⇒~q)
q
V V V V F F V F V F
V V V F F F F V V V
V V F V F F V F V F
V V F F F F F V V V
V F V V V F F V V V
V F V F V F F V V
V F F V V F F V V V
V F F F F F F V V V
F V V V F V V V V V
F V V F F V F V V V
F V F V F V V V F F
F V F F F V F V F F
F F V V V V F V V V
F F V F V V F V V V
F F F V V V F V V V
F F F F V V F V V V