9. AvB^CvD

9. A ∨ (B ∧ C) ∨ D - дизъюнкция A, конъюнкции B и C, и D. Сначала вычисляется конъюнкция B ∧ C, затем результаты дизъюнктивно связываются с A и D.

Ответ: A ∨ (B ∧ C) ∨ D