Chama-se tautologia à proposição composta que possui valor lógico verdadeiro, quaisquer que sejam os valores lógicos das proposições que a compõem. Sejam p e q proposições simples e ~p e ~q as suas respectivas negações. Em cada uma das alternativas abaixo, há uma proposição composta, formada por p e q. Qual corresponde a uma tautologia?
p
q
p ^~q
(p ∨ q) → (~p ∧ q)
(p ∨ q) → (p ∧ q)
(p ∧ q) → (p ∨ q)