합의 정리(consensus theorem)를 사용하여 단순화하시오:

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

합의 정리는 (XY + ¬XZ + YZ)에서 YZ 항이 중복(redundant)임을 나타냅니다.