Изменения
Нет описания правки
x - тождественная функция
¬x - отрицание, также обозначается <mathtex>\overline{x}</mathtex>
1 - тождественная единица
Для двух переменных есть четыре набора переменных - {0,0}, {0,1}, {1,0} и {1,1}, для них определено 16 бинарных функций.
{| border="1"
|-align="center" bgcolor=#EEEEFF
!x||y
|! width="5%" |0|! width="5%" |∧|! width="5%" |<tex>\nrightarrow</tex>|! width="5%" |x|! width="5%" |<tex>\nleftarrow</tex>|! width="5%" |y|! width="5%" |⊕|! width="5%" |∨|! width="5%" |↓|! width="5%" |↔|! width="5%" |¬y|! width="5%" |←|! width="5%" |¬x|! width="5%" |→|! width="5%" |∇|! width="5%" |1|-align="center"
!0||0
|0||0||0||0||0||0||0||0||1||1||1||1||1||1||1||1
|-align="center"
!0||1
|0||0||0||0||1||1||1||1||0||0||0||0||1||1||1||1
|-align="center"
!1||0
|0||0||1||1||0||0||1||1||0||0||1||1||0||0||1||1
|-align="center"
!1||1
|0||1||0||1||0||1||0||1||0||1||0||1||0||1||0||1
|-align="center" bgcolor=#EEEEFF
!colspan="2"|Сохраняет 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||1||0||1||0||1||0||1
|-align="center" bgcolor=#EEEEFF
!colspan="2"|Самодвойственная
|0||0||0||1||0||1||0||0||0||0||1||0||1||0||0||0
|-align="center" bgcolor=#EEEEFF
!colspan="2"|Монотонная
|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
