Vereenvoudig met behulp van de consensusstelling:

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

De consensusstelling stelt dat in (XY + ¬XZ + YZ), de term YZ overbodig is.