Na lógica proposicional, a tautologia é uma proposição cujo valor lógico é sempre verdadeiro para todas as variadas proposições. Assinale a alternativa que apresenta corretamente uma tautologia: