A fórmula que apresenta uma proposição logicamente verdadeira, ou seja, uma tautologia, está indicada na alternativa:
