- Логическое выражение может рассматриваться как способ задания логической функции.
- Совокупность значений
n аргументов можно задать как строку нулей и единиц длиныn . Существует ровно 2n различных двоичных строк длиныn . Так как на каждой такой строке некая функция может принимать значение 0 или 1, общее количество различных булевых функций отn аргументов равно 22n . - Для
n = 2 существует 16 различных логических функций. Дляn = 3 таких функций уже 256. - Путём преобразований функция любого количества переменных может быть выражена через функции только двух переменных.
- Любая логическая функция может быть записана, используя только:
- логические операции «И», «ИЛИ» и «НЕ»;
- логические операции «И-НЕ» или «ИЛИ-НЕ».
