Simplifiez en utilisant le théorème du consensus :

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

Le théorème du consensus stipule que dans (XY + ¬XZ + YZ), le terme YZ est redondant.