Rút gọn biểu thức sử dụng định lý đồng thuận:

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

Định lý đồng thuận phát biểu rằng trong (XY + ¬XZ + YZ), hạng tử YZ là thừa.