بسّط باستخدام مبرهنة الإجماع:

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

تنص مبرهنة الإجماع على أنه في (XY + ¬XZ + YZ)، الحد YZ زائد عن الحاجة.