सर्वसम्मति प्रमेय (consensus theorem) का उपयोग करके सरल करें:

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

सर्वसम्मति प्रमेय कहता है कि (XY + ¬XZ + YZ) में, पद YZ अनावश्यक है।