কনসেনসাস থিওরেম ব্যবহার করে সরলীকরণ করুন:

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

কনসেনসাস থিওরেম বলে যে (XY + ¬XZ + YZ)-তে, YZ টার্মটি অপ্রয়োজনীয়।