Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam a negação, conjunção, disjunção, condicional e bicondicional, respectivamente, qual alternativa apresenta uma tautologia?