Sejam p e q proposições simples e ~p e ~q as suas respectivas negações. Chamamos de tautologia à proposição composta que, independentemente dos valores lógicos das proposições que a compõem, sempre apresenta valor lógico verdadeiro.

Das proposições compostas formadas por p e q, apresentadas nas alternativas abaixo, a que corresponde a uma tautologia é