使用一致性定理化简：

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

一致性定理指出，在 (XY + ¬XZ + YZ) 中，项 YZ 是冗余的。