Semplifica usando il teorema del consenso:

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

Il teorema del consenso afferma che in (XY + ¬XZ + YZ), il termine YZ è ridondante.