Изменения
Нет описания правки
==Определение булевой функции==
{{Определение|definition =[[Определение булевой функции|Булева функция]] - отображение B<sup>n</sup> → B , где B={0, 1}. n - число переменных в количество аргументов функции, также называется ее арностью.}}
Для n переменных существует 2<sup>n</sup> различных наборов аргументов, и, соответственно, 2<sup>2<sup>n</sup></sup> различных функций от них.
==Виды булевых функций==
|0||1||0||1
|-
!Сохр. Сохраняет 0
|1||1||0||0
|-
!Сохр. Сохраняет 1
|0||1||0||1
|-
!СамодвСамодвойственная
|0||1||1||0
|-
!МонотМонотонная
|1||1||0||1
|-
!ЛинейнЛинейная
|1||1||1||1
|}
{| border="1"
|-
!x||y||0||∧||<tex>\nrightarrow</tex>||x||<tex>\nleftarrow</tex>||y||⊕||∨||↓||↔||¬y||←||¬x||→||∇||1
|-
!0||0
|0||1||0||1||0||1||0||1||0||1||0||1||0||1||0||1
|-
!colspan="2"|Сохр. Сохраняет 0
|1||1||1||1||1||1||1||1||0||0||0||0||0||0||0||0
|-
!colspan="2"|Сохр. Сохраняет 1
|0||1||0||1||0||1||0||1||0||1||0||1||0||1||0||1
|-
!colspan="2"|СамодвСамодвойственная
|0||0||0||1||0||1||0||0||0||0||1||0||1||0||0||0
|-
!colspan="2"|МонотМонотонная
|1||1||0||1||0||1||0||1||0||0||0||0||0||0||0||1
|-
!colspan="2"|ЛинейнЛинейная
|1||0||0||1||0||1||1||0||0||1||1||0||1||0||0||1
|}
