Förenkla med hjälp av konsensussatsen:

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

Konsensussatsen säger att i (XY + ¬XZ + YZ) är termen YZ redundant.