Dadas quaisquer proposições p e q, a proposição composta (p ∧ q) ∨ (∼p ∧ ∼q) é uma tautologia.