از ویکیپدیا، دانشنامهٔ آزاد
قضیه اجماع (به انگلیسی: consensus theorem) در جبر بول، سادهسازی عبارت زیر است:
![{\displaystyle xy\vee {\bar {x}}z\vee yz=xy\vee {\bar {x}}z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67eb844d505fbfe9cfbd6afea82e8845f48f8fc1)
اثبات این قضیه به صورت زیر است:
دوگان این قضیه برابر است با:
ورودیها
|
مقادیر تابع
|
x |
y |
z |
![{\displaystyle xy\vee {\bar {x}}z\vee yz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc6af76a8666e95b52ac2f19240428349a2eb51d) |
|
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». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۳۱ ژوئیه ۲۰۱۳.