Vereinfachen Sie mithilfe des Konsensus-Theorems:

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

Das Konsensus-Theorem besagt, dass in (XY + ¬XZ + YZ) der Term YZ redundant ist.