Порядок выполнения операций в алгебре логики

Пример: .

Знак «=» означает, что соединяемые им части эквивалентны, т.е. могут быть поменяны местами.

Скобки в логических выражениях, как и в обычной алгебре, означают порядок действий. В отсутствии скобок логические операции выполняются в следующем порядке:

1. Выполняется отрицание (НЕ) отдельных переменных.

2. Выполняется логическое умножение (И).

3. Выполняется логическое сложение (ИЛИ).

4. Выполняется отрицание результата предыдущих операций (Отрицание группы переменных в последнюю очередь).

 

 

Принцип двойственности алгебры логики

 

Очень важный, позволяющий от операции «И» перейти к операциям «ИЛИ», и наоборот. Покажем таблицу истинности логического элемента «ИЛИ» и рядом проинвертируем все значения переменных и функции.