Match LIST-I with LIST-II
\[\begin{array}{|c|c|}\hline \text{LIST-I (Standard logical equivalence)} & \text{LIST-II (Theorem)} \\ \hline \text{A. } (\alpha \iff \beta) \equiv (\beta \iff \neg \alpha) & \text{IV. Contraposition} \\ \hline \text{B. } (\alpha \iff \beta) \equiv ((\alpha \iff \beta) \land (\beta \iff \alpha)) & \text{I. Biconditional elimination} \\ \hline \text{C. } (\alpha \lor \beta) \equiv (\alpha \land \neg \beta) & \text{III. Distributivity of } \lor \text{ over } \land \\ \hline \text{D. } (\alpha \lor \beta) \equiv (\neg \alpha \lor \neg \beta) & \text{II. De Morgan's law} \\ \hline \end{array}\]
Choose the correct answer from the options given below: