Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam negação, conjunção, disjunção, implicação e biimplicação, respectivamente, qual das alternativas apresenta pares de fórmulas equivalentes?