78
правок
Изменения
→Бинарные функции: скопировал табличку из http://neerc.ifmo.ru/mediawiki/index.php/%D0%9F%D1%80%D0%B8%D0%BC%D0%B5%D1%80%D1%8B_%D0%B1%D1%83%D0%BB%D0%B5%D0%B2%D1%8B%D1%85_%D1%84%D1%83%D0%BD%D0%BA%D1
=== Бинарные функции ===
При ''n'' = 2 число булевых функций равно 2<sup>2²2<sup>2</sup></sup> = 2<sup>4</sup> = 16.
Таблица значений булевых функций от двух переменных:
{| classborder="standard" width=1"100%" border=1 !class="dark" style="font|-weight:normal" widthalign="1%center" bgcolor=#EEEEFF| ''x''FFF8DC !class="dark" style="font-weight:normal" width="1%" bgcolor=#EEEEFFx|| ''y'' |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| 0 |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''x''↓''y''∧ |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| <mathtex>\negnrightarrow</mathtex>(''x''←''y'') |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''x̅''x |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| <mathtex>\negnleftarrow</mathtex>(''x''→''y'') |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''y̅''y |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''x''⊕''y''⊕ |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''x''<nowiki>∨|</nowiki>''y'' !style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''x'' & darr;''y'' |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''x'' ≡ harr;''y'' |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''¬y'' |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''x''→''y''← |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''¬x'' |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''x''←''y''→ |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| ''x'' nabla;∨ ''y'' |!style="font-weight:normal" width="45%" bgcolor=#EEEEFF| 1 |- align="center" !class="shadow" style="font-weight:normal" 0||0|0||0||0||0||0||0||0|| 0||1||1||1||1||1||1||1||1 !class|-align="shadow" style=center"font-weight:normal" | 0 |!0||1|0||0||10||0||1||01||1||1||0||10||0||10||01||1||01||1 |- align="center" !class="shadow" style="font-weight:normal" 1|| 0 !class="shadow" style="font-weight:normal" | 1 |0||0||1||1||0||0||1||1||0||0||1||1||0||0||1||1 |- align="center" !class1||1|0||1||0||1||0||1||0||1||0||1||0||1||0||1||0||1|-align="shadowcenter" stylebgcolor="font-weight:normal" | 1#EEEEFF !classcolspan="shadow" style="font-weight:normal2" | Сохраняет 0 |1||1||1||1||1||1||1||1||0||0||0||0||0||0||0||0|-align="center" bgcolor=#EEEEFF !colspan="2"|Сохраняет 1|0||1||0||1||0||1||0||1||0||01||0||1||0||1||10||1 |- align="center"bgcolor=#EEEEFF !classcolspan="shadow2" style|Самодвойственная|0||0||0||1||0||1||0||0||0||0||1||0||1||0||0||0|-align="font-weight:normalcenter" | 1bgcolor=#EEEEFF !classcolspan="shadow" style="font-weight:normal2" |Монотонная|1||1||0||1||0|| 1 ||0||1||0||0||0||0||0||0||0||1|-align="center" bgcolor=#EEEEFF !colspan="2"|Линейная|1||0||0||1||0||1||1||0||0||1||1||0||1||0||0||1
|}
