Логические операции в логике и информатике¶

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

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

Базовый набор операций над высказываниями был систематизирован в XIX веке в работах английского математика Джорджа Буля, заложившего основы алгебры логики (булевой алгебры).

¶Отрицание (инверсия, NOT)

Отрицание — унарная операция: оно применяется к одному высказыванию и меняет его значение на противоположное. Если утверждение A истинно, то «не A» ложно, и наоборот. Обозначается как ¬A, Ā или NOT A. В русской традиции иногда используется знак «не».

¶Конъюнкция (логическое умножение, AND)

Конъюнкция — бинарная операция, результат которой истинен только тогда, когда истинны оба исходных высказывания. Обозначается A ∧ B, A & B, A AND B. В естественном языке соответствует союзу «и». Например, высказывание «идёт дождь и светит солнце» истинно лишь при одновременном выполнении обоих условий.

¶Дизъюнкция (логическое сложение, OR)

Дизъюнкция истинна, если истинно хотя бы одно из двух высказываний. Обозначается A ∨ B, A OR B. Соответствует союзу «или» в неисключающем смысле. Различают также строгую (исключающую) дизъюнкцию — XOR, которая истинна, когда истинно ровно одно из высказываний.

¶Импликация (следование)

Импликация A → B ложна только в одном случае: когда A истинно, а B ложно. В остальных случаях она истинна. Читается «если A, то B». Эта операция лежит в основе логического вывода и доказательств.

¶Эквивалентность (равнозначность)

Эквивалентность A ↔ B истинна, когда оба высказывания имеют одинаковое значение истинности. Соответствует обороту «тогда и только тогда, когда».

¶Таблицы истинности

Значения логических операций удобно задавать таблицами истинности, где перечислены все возможные комбинации входных значений.

Отрицание задаётся отдельно: ¬И = Л, ¬Л = И.

¶Законы алгебры логики

Логические операции подчиняются ряду законов, позволяющих упрощать выражения:

• Законы де Моргана: ¬(A ∧ B) = ¬A ∨ ¬B; ¬(A ∨ B) = ¬A ∧ ¬B.
• Закон двойного отрицания: ¬(¬A) = A.
• Переместительный закон: A ∧ B = B ∧ A; A ∨ B = B ∨ A.
• Сочетательный закон: (A ∧ B) ∧ C = A ∧ (B ∧ C).
• Распределительный закон: A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C).
• Закон исключённого третьего: A ∨ ¬A = И.
• Закон противоречия: A ∧ ¬A = Л.

Эти тождества широко применяются при минимизации логических схем и упрощении условий в программах.

¶Применение в информатике

В цифровой технике логические операции реализуются логическими элементами (вентилями): НЕ, И, ИЛИ, И-НЕ, ИЛИ-НЕ, исключающее ИЛИ. Из этих базовых элементов строятся сумматоры, триггеры, регистры и процессоры. Значения «истина» и «ложь» кодируются двоичными цифрами 1 и 0, поэтому булева алгебра напрямую описывает работу цифровых устройств.

В программировании логические операции используются в условных конструкциях, циклах и проверках. Например, в языке Python операторы and, or, not работают с логическими значениями True и False. Важное свойство — «короткое замыкание»: при вычислении A and B второе выражение не вычисляется, если первое ложно.

¶Логические операции и множества

Существует тесная связь между логикой и теорией множеств. Конъюнкции соответствует пересечение множеств, дизъюнкции — объединение, отрицанию — дополнение. Это позволяет переносить законы логики на операции над множествами и наоборот.

¶Значение

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

Источники: учебники по математической логике и дискретной математике, курс информатики, работы Дж. Буля по алгебре логики.