Булевы функции одного аргумента представлены в таблице 3.
Таблица 3. Булевы функции одного аргумента
Среди этих функций и представляют собой константы, , а называется отрицанием (инверсией, логическое НЕ):
В таблице 4 приведены все 16 функций от двух аргументов.
Таблица 4. Булевы функции от двух аргументов
| 0 0 | ||||||||||||||||
| 0 1 | ||||||||||||||||
| 1 0 | ||||||||||||||||
| 1 1 |
Рассмотрим более подробно эти функции.
Константы: – тождественная ложь,
– тождественная истина.
Унарные функции (функции одного аргумента).
Функции тождественности:
или , или .
Отрицание (инверсия, логическое НЕ):
, .