p q ~q p ∧ ~q q ∧ (p ∧ ~q)
B B
B S
S B
S S
B
p q p∧q pvq (p v q) → (p ∧ q)
B B
B S
S B
S S
C.
p q ~p ~q p → ~q q → ~p (p → ~q) ↔ (q → ~p)
B B
B S
S B
S S
D.
p q ~p ~q p ∧ ~q q → ~p (p ∧ ~q) v (q → ~p)
B B
B S
S B
S S