Konsensüs teoremini kullanarak sadeleştirin:

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

Konsensüs teoremi, (XY + ¬XZ + YZ) ifadesinde YZ teriminin gereksiz olduğunu belirtir.