Что идёт сначала коньюнкция или дизъюнкция?

Поляков Евгений Александрович

Учитель информатики высшей категории

Проверено учителем

В классической математической логике и булевой алгебре установлен строгий приоритет выполнения операций, аналогичный порядку действий в арифметике (где умножение выполняется раньше сложения). Общепринятый порядок выполнения Если в логическом выражении отсутствуют скобки, операции выполняются в следующей последовательности:

  1. Инверсия (Отрицание): ¬Alogical not cap A Конъюнкция (Логическое «И»): ABcap A logical and cap B Дизъюнкция (Логическое «ИЛИ»): ABcap A logical or cap B Импликация (Следствие): ABcap A right arrow cap B Эквивалентность (Равносильность): ABcap A left-right arrow cap B

Таким образом, конъюнкция всегда выполняется раньше дизъюнкции. Почему это так? Такое правило введено для минимизации количества скобок в сложных формулах. Конъюнкцию часто называют «логическим умножением», а дизъюнкцию — «логическим сложением». Если провести аналогию с алгеброй:

  • Конъюнкция is approximately equal to Умножение ( center dot) Дизъюнкция is approximately equal to Сложение ( +positive)

В выражении 2+352 plus 3 center dot 5 мы сначала умножаем, а потом складываем. Точно так же в логическом выражении ABCcap A logical or cap B logical and cap C сначала вычисляется значение BCcap B logical and cap C, а затем результат объединяется с Acap A через операцию дизъюнкции. Влияние скобок Единственный способ изменить этот порядок — использовать скобки. Любое действие, заключенное в скобки, приобретает наивысший приоритет.

  • В выражении ABCcap A logical or cap B logical and cap C сначала идет конъюнкция. В выражении (AB)Copen paren cap A logical or cap B close paren logical and cap C сначала идет дизъюнкция, так как она находится внутри скобок.

Резюме Если перед вами стоит выбор между этими двумя операциями при отсутствии скобок, первой всегда выполняется конъюнкция. Я могу составить таблицу истинности для любого сложного логического выражения, чтобы наглядно показать порядок вычислений.

Форма ответа

Ваш аватар