コンセンサス定理を用いて簡略化せよ：

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

コンセンサス定理は、(XY + ¬XZ + YZ)において、項YZが冗長であることを示しています。