Tautologia, contradição e contingência são proposições que se diferenciam nos valores lógicos da última coluna de sua tabela verdade. Assinale a alternativa cuja proposição representa uma tautologia.