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

 

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

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

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

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

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

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

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

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

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

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