Monte a tabela verdade para as sentenças lógicas abaixo e iden...

Monte a tabela verdade para as sentenças lógicas abaixo e identifique se o resultado é uma tautologia, contradição ou contingência.
a. (p ⋁ ~q) ↔ (~p ⋀ q)
b. (p ⋀ ~p) → (q ⋁ p)
c. (p → r) ⋁ (q → r) ↔ (p ⋀ q) → r