Simplify using the consensus theorem:

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

The consensus theorem states that in (XY + ¬XZ + YZ), the term YZ is redundant.