قضیه اجماع

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

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

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

منابع 

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