합의 정리를 사용하여 다음 식을 간소화하세요:

(A ∧ B) ∨ (¬A ∧ C) ∨ (B ∧ C)