Which of the given formulas of PL is the best symbolization of the following sentence?
If either George enrolls or Harry enrolls, then Ira does not enroll.
(A)(G ⊃ H) ∨ I (B)(G ∨ H) ⊃ I (C)(G ⊃ H) ∨ ~I (D)(G ∨ H) ⊃ ~I
D