If Heineken's Being Balanced Implies That Either Sierra Is Hearty

Multiple Choice

If Heineken's being balanced implies that either Sierra is hearty or Alaskan is not sweet, then Miller's being zesty is a sufficient and necessary condition for Coors's being smooth.

A) [H ⊃ ∼(S ∨ A) ] ⊃ (M ≡ C)
B) [H ⊃ (S ∨ ∼A) ] ⊃ (M ≡ C)
C) [H ≡ (S ∨ ∼A) ] ⊃ (M ⊃ C)
D) H ⊃ [(S ∨ ∼A) ≡ (M ⊃ C) ]
E) H ⊃ [(S ∨ ∼A) ⊃ (M ≡ C) ]