No contexto da lógica clássica, uma proposição que é sempre verdadeira, independentemente dos valores das variáveis envolvidas, é chamada de tautologia. Qual das alternativas abaixo descreve corretamente uma tautologia?