- булева функция
- Функция, принимающая на вход набор булевых переменных и возвращающая булево значение, называется булевой функцией.
- булева переменная
- Булева переменная может принимать только два значения: истина (1) и ложь (0).
- логические операции и таблицы истинности
- Логические операции И, ИЛИ, НЕ, исключающее ИЛИ и их таблицы истинности являются основными операциями алгебры логики.
- булева формула
- Логическая формула, выраженная через булевы переменные и логические операции, называется булевой формулой.
- тождественно истинная булева функция
- Булева функция называется тождественно истинной, если её значение всегда истинно.
- тождественно ложная булева функция
- Булева функция называется тождественно ложной, если её значение всегда ложно.
- самодвойственная булева функция
- Булева функция называется самодвойственной, если её двойственная функция совпадает с ней самой.
- линейная булева функция
- Булева функция называется линейной, если её значение зависит только от суммы по модулю 2 её аргументов.
- монотонная булева функция
- Булева функция называется монотонной, если при увеличении значений аргументов её значение не уменьшается.
- универсальная булева функция
- Булева функция называется универсальной, если она может выразить любую другую булеву функцию.
- функционально полная система булевых функций
- Булева функция называется функционально полной, если она содержит все универсальные функции.