Sentenças moleculares que são sempre verdadeiras, independentemente do valor lógico das proposições que a constituem, são chamadas de tautologias. Qual das proposições abaixo é um exemplo de tautologia: