7. Use Theorem 2.1.1 to verify the logical equivalence of the following and supply a reason for each step as
∧ (~ ∨ ) ≡ a