Forenkl ved hjælp af konsensus-sætningen:

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

Konsensus-sætningen siger, at i (XY + ¬XZ + YZ) er leddet YZ overflødigt.