از ویکیپدیا، دانشنامهٔ آزاد
قضیه اجماع (به انگلیسی: consensus theorem) در جبر بول، سادهسازی عبارت زیر است:
اثبات این قضیه به صورت زیر است:
دوگان این قضیه برابر است با:
ورودیها
|
مقادیر تابع
|
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
|
مشارکتکنندگان ویکیپدیا. «Consensus theorem». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۳۱ ژوئیه ۲۰۱۳.