(1) Classifique as seguintes expressões:

(a) ((((p ∧ q) → ¬ r) ↔ ¬ (p v r)) ↔ ¬ q)

(b) ¬ (((p ↔ (¬ p ↔ (q ∧ ¬ r))) ↔ (p v r)) ↔ ¬ p)
(c) (((p v q) ↔ ¬ (p → (p ↔ q))) ↔ ¬ (q v (r ∧ p)))

(2) Defina a tabela de verdade para os operadores:

(a) Nem A nem B

(b) Não ambos A e B.

(3) Verifique se as seguintes relações de consequência estão corretas:

(a) {(p v ¬q) →r), (q → (q v ¬r))} |= (p → r)

(b) {(p ↔ (q → r)), (¬r ↔ (p v q))} |= (p → (q ↔ r))