- Базовый набор логических операций:
- операция «НЕ» — отрицание или инверсия (не A, A, ﹁﹁A, not A);
операцию «И» — логическое умножение или конъюнкция (A и B, A B, A and B, A ⋀ B);
операцию «ИЛИ» — логическое сложение или дизъюнкция (A или B, A or B, A ⋁ B).
- Любая логическая функция может быть записана, используя только:
- логические операции «И», «ИЛИ» и «НЕ»;
- логические операции «И-НЕ» или «ИЛИ-НЕ».
- Для определения логической операции используют таблицы истинности, которая однозначно определяет некоторую логическую функцию — правило преобразования входных данных в результат.
- Логические функции можно изобразить как отношения подмножеств с помощью кругов Эйлера.
