Основы алгебры логики

Основные операции алгебры логики

В алгебре логики используются три операции.

Логическое сложение дизъюнкция, сборка, операция «ИЛИ», читается «F равно х или у».

Таблица истинности (Функция истинна , если х или у истинны или ).

Логическое умножение (конъюнкция, совпадение, операция «И») , , «F равно х и у».

Таблица истинности. Функция истинна F =1, если истинны х и у: x =1 и y =1.

Понятно, что операции «И» и «ИЛИ» могут быть распространены на любое количество переменных F=x₁ +x₂+...+x; F=x₁ x₂... x_n.

Логическое отрицание (инверсия, операция «НЕ»). Выполняется над одной переменной, или результатом других операций.

- «F равно не х».

Понятно, что двойное отрицание переменной равно самой переменной .