verifique através da tabela-verdade se é uma tautologia ou uma contradição ou uma contingência. a) (p ∨ (¬p ∨ q)) ∧ ¬(q ∧ ¬r) b) (p → q) ∧ (p → r) ↔ (p → (q ∧ r)) c) ((p ∨ q) → r) → ((p → r) ∨ (q → r)) d) (s → (p ^ ¬r)) ^ ((p → (r ∨ q)) ^ s)