قضیه اجماع

در جبر بول، قضیه اجماع ساده سازی عبارت زیر است:
اثبات این قضیه به صورت زیر است:
x y ∨ x ¯ z ∨ ( x ∨ x ¯ ) y z {\displaystyle xy\vee {\bar {x}}z\vee (x\vee {\bar {x}})yz}
x y ∨ x ¯ z ∨ x y z ∨ x ¯ y z {\displaystyle xy\vee {\bar {x}}z\vee xyz\vee {\bar {x}}yz}