قضیه اجماع

قضیه اجماع  در جبر بول، ساده‌سازی عبارت زیر است:

اثبات این قضیه به صورت زیر است:

دوگان این قضیه برابر است با:

ورودی‌ها مقادیر تابع x  y  z     0  0  0  0  0  0  0  1  1  1  0  1  0  0  0  0  1  1  1  1 1  0  0  0  0  1  0  1  0  0  1  1  0  1  1  1  1  1  1  1
 منابع 

رده:جبر بولی
رده:قضیه‌ها در حساب گزاره‌ای