Simplifique usando o teorema do consenso:

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

O teorema do consenso afirma que em (XY + ¬XZ + YZ), o termo YZ é redundante.