В классической математической логике и булевой алгебре установлен строгий приоритет выполнения операций, аналогичный порядку действий в арифметике (где умножение выполняется раньше сложения). Общепринятый порядок выполнения Если в логическом выражении отсутствуют скобки, операции выполняются в следующей последовательности:
- Инверсия (Отрицание): Конъюнкция (Логическое «И»): Дизъюнкция (Логическое «ИЛИ»): Импликация (Следствие): Эквивалентность (Равносильность):
Таким образом, конъюнкция всегда выполняется раньше дизъюнкции. Почему это так? Такое правило введено для минимизации количества скобок в сложных формулах. Конъюнкцию часто называют «логическим умножением», а дизъюнкцию — «логическим сложением». Если провести аналогию с алгеброй:
- Конъюнкция Умножение ( ) Дизъюнкция Сложение ( )
В выражении мы сначала умножаем, а потом складываем. Точно так же в логическом выражении сначала вычисляется значение , а затем результат объединяется с через операцию дизъюнкции. Влияние скобок Единственный способ изменить этот порядок — использовать скобки. Любое действие, заключенное в скобки, приобретает наивысший приоритет.
- В выражении сначала идет конъюнкция. В выражении сначала идет дизъюнкция, так как она находится внутри скобок.
Резюме Если перед вами стоит выбор между этими двумя операциями при отсутствии скобок, первой всегда выполняется конъюнкция. Я могу составить таблицу истинности для любого сложного логического выражения, чтобы наглядно показать порядок вычислений.