mostrar texto associado
Uma tautologia é uma proposição lógica composta que será verdadeira sempre que os valores lógicos das proposições simples que a compõem forem verdadeiros.