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

Введение в логику: высказывания и базовые операции (инверсия, конъюнкция, дизъюнкция)

Добро пожаловать в курс «Основы алгебры логики и логические операции». Мы начинаем наше путешествие с фундамента, на котором строится вся современная вычислительная техника, программирование и значительная часть математических рассуждений. Этот фундамент — алгебра логики.

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

Что такое алгебра логики?

Алгебра логики (или булева алгебра, названная в честь математика Джорджа Буля) — это раздел математики, который изучает высказывания и операции над ними. В отличие от обычной алгебры, где мы работаем с числами (1, 5, 100, 3.14), в алгебре логики мы работаем со значениями истинности.

В классической логике существует всего два возможных значения:

Истина (True) — обозначается цифрой .

Ложь (False) — обозначается цифрой .

Это двоичная система, которая идеально подходит для компьютеров, где — это наличие электрического сигнала, а — его отсутствие.

Понятие высказывания

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

> Высказывание — это повествовательное предложение, о котором можно однозначно сказать, истинно оно или ложно.

Давайте разберем это на примерах, чтобы почувствовать разницу.

Примеры высказываний: «Москва — столица России».* (Это высказывание, его значение — Истина или ). «В сутках 30 часов».* (Это тоже высказывание, хотя оно и неверное. Его значение — Ложь или ). «Число 5 больше числа 3».* (Высказывание, значение — ).

Примеры предложений, не являющихся высказываниями: «Который час?»* (Это вопрос, он не может быть истинным или ложным). «Сделайте домашнее задание!»* (Это побуждение/приказ). «x + 5 = 10».* (Это не высказывание, пока мы не знаем, чему равен . Если , то это истина, если — ложь. Такие конструкции называют предикатами, но о них мы поговорим позже).

В алгебре логики простые высказывания обычно обозначают заглавными латинскими буквами: и так далее.

Например: * «На улице идет дождь». * «Я взял зонт».

Теперь, имея эти «кирпичики», мы можем строить из них сложные конструкции с помощью логических операций.

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

Базовые логические операции

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

1. Инверсия (Логическое НЕ)

Инверсия — это самая простая операция, так как она применяется к одному высказыванию (является унарной операцией). Она меняет значение высказывания на противоположное.

Определение: Инверсией высказывания называется новое высказывание, которое истинно, если ложно, и ложно, если истинно.

В естественном языке этой операции соответствует частица «НЕ» или слова «неверно, что...».

Обозначение: В литературе и информатике можно встретить разные варианты записи: * (математический стандарт) * (черта сверху) * (в программировании)

Мы будем часто использовать черту сверху или знак .

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

| | | |:---:|:---:| | 0 | 1 | | 1 | 0 |

Пример: Пусть «Сегодня пятница». Тогда «Неверно, что сегодня пятница» (или просто «Сегодня не пятница»). Если сегодня действительно пятница (), то будет ложью ().

2. Конъюнкция (Логическое И)

Конъюнкция объединяет два высказывания в одно. Это операция строгого соответствия.

Определение: Конъюнкцией двух высказываний и называется новое высказывание, которое истинно только тогда, когда истинны оба исходных высказывания одновременно.

В естественном языке соответствует союзу «И».

Обозначение: * (классический математический знак) * (точка, как умножение) * (амперсанд, часто в программировании) *

Часто конъюнкцию называют логическим умножением. Это название не случайно: если посмотреть на таблицу истинности, результат операции полностью совпадает с обычным арифметическим умножением нулей и единиц.

Таблица истинности для конъюнкции:

| | | | |:---:|:---:|:---:| | 0 | 0 | 0 | | 0 | 1 | 0 | | 1 | 0 | 0 | | 1 | 1 | 1 |

Обратите внимание: результат равен только в одной строке из четырех — когда и , и .

Пример: Пусть «У меня есть яблоко», «У меня есть груша». Высказывание «У меня есть яблоко И груша». Это будет правдой только в том случае, если у вас в карманах лежат оба фрукта. Если есть только яблоко, но нет груши — высказывание ложно.

3. Дизъюнкция (Логическое ИЛИ)

Дизъюнкция — это операция выбора или объединения возможностей.

Определение: Дизъюнкцией двух высказываний и называется новое высказывание, которое истинно, если истинно хотя бы одно из исходных высказываний.

В естественном языке соответствует союзу «ИЛИ».

Обозначение: (напоминает латинскую 'v' от слова vel* — или) * (плюс, как сложение) * (вертикальная черта) *

Дизъюнкцию называют логическим сложением. Однако здесь есть отличие от обычной арифметики: в логике равно (Истина + Истина = Истина), а не .

Таблица истинности для дизъюнкции:

| | | | |:---:|:---:|:---:| | 0 | 0 | 0 | | 0 | 1 | 1 | | 1 | 0 | 1 | | 1 | 1 | 1 |

Результат равен (Лжи) только в одном случае — когда оба исходных высказывания ложны.

Пример: Пусть «Я выпью чай», «Я выпью кофе». Высказывание «Я выпью чай ИЛИ кофе». Это высказывание будет истинным, если вы выпьете только чай, только кофе, или и то и другое вместе. Ложным оно будет только если вы не выпьете ни того, ни другого.

Приоритет логических операций

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

Если в выражении нет скобок, операции выполняются в следующем порядке:

Инверсия (, НЕ) — самый высокий приоритет.

Конъюнкция (, И) — средний приоритет.

Дизъюнкция (, ИЛИ) — самый низкий приоритет среди базовых.

Рассмотрим пример сложного выражения:

Где — инверсия, — дизъюнкция, — конъюнкция.

Порядок действий будет таким:

Сначала выполняется инверсия: .

Затем выполняется конъюнкция: .

В последнюю очередь выполняется дизъюнкция между результатами первого и второго действий.

Если мы хотим изменить порядок, мы должны использовать скобки, например: . В этом случае сначала выполнится действие в скобках.

Практический пример: построение таблицы истинности

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

Выражение:

Где — результат функции, — инверсия переменной , — конъюнкция с переменной .

Шаги:

Выписываем все возможные комбинации и .

Вычисляем .

Вычисляем результат конъюнкции .

| | | | | |:---:|:---:|:---:|:---:| | 0 | 0 | 1 | 0 | | 0 | 1 | 1 | 1 | | 1 | 0 | 0 | 0 | | 1 | 1 | 0 | 0 |

Разбор второй строки: * , . * Инверсия превращает в . * Теперь делаем конъюнкцию: (это ) И (это ). * . Результат истинный.

Заключение

Мы познакомились с алфавитом логики. Вы узнали, что такое высказывание, и изучили три инструмента: НЕ (переворачивает значение), И (требует истинности всего сразу) и ИЛИ (довольно хотя бы одной правды).

Эти операции — база для всего, что мы будем изучать дальше. В следующих статьях мы рассмотрим более сложные операции, такие как импликация и эквиваленция, а также научимся упрощать громоздкие логические выражения, используя законы алгебры логики.

Понимание этих основ позволит вам не только решать задачи по информатике, но и лучше понимать, как работают условия в программировании (if, while) и как строятся сложные поисковые запросы в базах данных.

Расширенные логические операции: импликация, эквивалентность и строгая дизъюнкция

В предыдущих материалах мы изучили фундамент алгебры логики: инверсию (НЕ), конъюнкцию (И) и дизъюнкцию (ИЛИ). С их помощью можно описать множество процессов, но человеческая речь и сложные алгоритмы часто используют более запутанные конструкции.

Как записать условие: «Если пойдет дождь, то я возьму зонт»? Или строгий выбор: «Скидка действует либо по купону, либо по карте лояльности, но не одновременно»?

Для таких сценариев существуют расширенные логические операции: импликация, эквивалентность и строгая дизъюнкция. Разберем их детально.

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

Импликация моделирует причинно-следственную связь: «Если А, то B». Это одна из самых важных операций для построения логических рассуждений.

Обозначение: Здесь — это посылка (условие), а — следствие (заключение).

Логика «обещания»

Чтобы понять таблицу истинности импликации, рассмотрим её как обещание. Представьте, что отец говорит сыну: > «Если ты закончишь четверть на отлично (), то я куплю тебе велосипед ()».

Рассмотрим четыре возможные ситуации:

Сын закончил на отлично (), отец купил велосипед ().

Обещание выполнено. Значение импликации — Истина ().

Сын закончил на отлично (), но отец НЕ купил велосипед ().

Отец обманул. Это единственная ситуация, когда обещание нарушено. Значение — Ложь ().

Сын НЕ закончил на отлично (), и отец НЕ купил велосипед ().

Нарушил ли отец слово? Нет. Уговор касался только отличной учебы. Значение — Истина ().

Сын НЕ закончил на отлично (), но отец всё равно купил велосипед ().

Нарушено ли обещание? Нет! Отец обещал купить если будут пятерки, но он не запрещал себе делать подарки просто так. Логическое высказывание остается в силе. Значение — Истина ().

Таблица истинности для импликации

| (Посылка) | (Следствие) | | Пояснение | |:---:|:---:|:---:|:---| | 0 | 0 | 1 | Условие ложно, обещание в силе | | 0 | 1 | 1 | Условие ложно, обещание в силе | | 1 | 0 | 0 | Ложь! Условие выполнено, а следствие нет | | 1 | 1 | 1 | И условие, и следствие истинны |

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

Математическое выражение

Импликацию можно выразить через базовые операции:

Где: * — посылка; * — следствие; * — оператор импликации; * — инверсия (отрицание) посылки; * — дизъюнкция (логическое ИЛИ).

Это равенство читается так: «Либо условие не выполнилось (и мы свободны от обязательств), либо следствие наступило».

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

Эквивалентность утверждает, что два высказывания истинны или ложны одновременно. В речи это соответствует обороту «тогда и только тогда, когда».

Обозначение: или .

Пример: > «Я поеду на море () тогда и только тогда, когда мне дадут отпуск ()».

Это жесткое условие. Если отпуск дали, а я не поехал — высказывание ложно. Если я поехал без отпуска — высказывание тоже ложно.

Таблица истинности для эквивалентности

| | | | Пояснение | |:---:|:---:|:---:|:---| | 0 | 0 | 1 | Оба ложны — равнозначны | | 0 | 1 | 0 | Значения разные | | 1 | 0 | 0 | Значения разные | | 1 | 1 | 1 | Оба истинны — равнозначны |

Эквивалентность — это «логическое равенство». Результат истинен, если входы совпадают.

Математическое выражение

Где: * — логические переменные; * — оператор эквивалентности; * — конъюнкция (логическое И); * — дизъюнкция (логическое ИЛИ); * — инверсия (НЕ).

Формула означает: «Либо и оба истинны, либо и оба ложны».

Строгая дизъюнкция (XOR)

Эта операция также известна как «Исключающее ИЛИ» (eXclusive OR). Она описывает ситуацию строгого выбора: «Либо то, либо другое, но не оба сразу».

Обозначение: .

Пример: > «Вы можете выбрать на десерт мороженое () или фрукты ()».

Подразумевается, что в бизнес-ланч входит только одно блюдо. Взять и то, и другое нельзя. Не взять ничего — тоже странно (в контексте обязательного выбора), но в логике дает .

Таблица истинности для XOR

| | | | Пояснение | |:---:|:---:|:---:|:---| | 0 | 0 | 0 | Ничего не выбрано | | 0 | 1 | 1 | Выбрано только | | 1 | 0 | 1 | Выбрано только | | 1 | 1 | 0 | Выбраны оба (конфликт) |

Обратите внимание: XOR — это обратная операция к эквивалентности. Она истинна, когда значения различаются.

Математическое выражение

Где: * — логические переменные; * — оператор строгой дизъюнкции; * — конъюнкция; * — дизъюнкция; * — инверсия.

Формула читается так: «Истинно и ложно , ИЛИ ложно и истинно ».

Приоритет логических операций

Когда в одном выражении встречается много операций, важно знать порядок их выполнения (аналогично тому, как умножение выполняется раньше сложения). Порядок от высшего к низшему:

Инверсия () — самый высокий приоритет.

Конъюнкция ().

Дизъюнкция () и Строгая дизъюнкция ().

Импликация ().

Эквивалентность () — самый низкий приоритет.

Скобки всегда меняют приоритет и выполняются в первую очередь.

Итоговая сводная таблица

Для закрепления материала сведем все три новые операции в одну таблицу.

| | | Импликация<br>() | Эквивалентность<br>() | XOR<br>() | |:---:|:---:|:---:|:---:|:---:| | 0 | 0 | 1 | 1 | 0 | | 0 | 1 | 1 | 0 | 1 | | 1 | 0 | 0 | 0 | 1 | | 1 | 1 | 1 | 1 | 0 |

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

Таблицы истинности и порядок выполнения логических действий

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

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

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

В обычной арифметике мы с начальной школы знаем правило: «сначала в скобках, потом умножение и деление, потом сложение и вычитание». В алгебре логики действует аналогичный строгий закон приоритетов. Если вы перепутаете порядок, результат будет неверным.

Иерархия операций от высшего приоритета (выполняется первым) к низшему (выполняется последним) выглядит так:

Выражения в скобках — ( ... ). Скобки всегда имеют наивысший приоритет и могут изменить стандартный порядок действий.

Инверсия (НЕ) — . Это самая «сильная» операция, она «прилипает» к переменной.

Конъюнкция (И) — . Аналог умножения в математике.

Дизъюнкция (ИЛИ) — и Строгая дизъюнкция (XOR) — . Аналоги сложения.

Импликация (Следование) — .

Эквивалентность (Равносильность) — .

Рассмотрим пример, чтобы увидеть это правило в действии.

Пусть у нас есть выражение:

Где — инверсия, — дизъюнкция, — конъюнкция, — импликация.

Если бы мы расставляли скобки согласно приоритетам, выражение выглядело бы так:

Порядок действий:

Сначала вычисляем инверсию .

Затем выполняем конъюнкцию (умножение) .

Затем выполняем дизъюнкцию (сложение) между результатом первого действия и результатом второго.

В самом конце выполняем импликацию.

> Совет: Если вы сомневаетесь в приоритетах или хотите сделать код/формулу более читаемой для других, не стесняйтесь ставить лишние скобки. Это не является ошибкой, но значительно упрощает понимание.

Алгоритм построения таблиц истинности

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

Чтобы построить таблицу истинности для любого выражения, нужно выполнить следующий алгоритм:

Подсчитать количество переменных () в выражении.

Определить количество строк в таблице. Оно вычисляется по формуле:

Где — количество строк (вариантов), — основание двоичной системы, — количество переменных. * Если переменных 2 (), строк будет . * Если переменных 3 (), строк будет .

Подсчитать количество операций и определить порядок их выполнения.

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

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

Вычислить значения по столбцам слева направо.

!Визуальный алгоритм построения таблицы истинности

Пример 1: Простое выражение с двумя переменными

Построим таблицу для выражения:

Где — результат функции, — переменные.

Переменных две (), значит строк .

Операции: сначала скобки (), потом инверсия результата.

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

| | | (Действие 1) | (Действие 2) | |:---:|:---:|:---:|:---:| | 0 | 0 | 0 | 1 | | 0 | 1 | 0 | 1 | | 1 | 0 | 0 | 1 | | 1 | 1 | 1 | 0 |

Это выражение известно как Штрих Шеффера (И-НЕ). Оно ложно только тогда, когда оба входа истинны.

Пример 2: Сложное выражение с тремя переменными

Возьмем более сложную задачу, включающую импликацию:

Где — переменные, — дизъюнкция, — импликация, — инверсия.

Анализ:

Переменных три (). Количество строк: .

Приоритет операций:

* 1-е действие: Инверсия . * 2-е действие: Дизъюнкция (так как выше по приоритету, чем , но ниже . Однако здесь и разделены. Слева от стрелки стоит , справа . Порядок: сначала вычисляем левую и правую части, потом саму импликацию). * 3-е действие: Импликация (результат шага 2 результат шага 1).

Таблица:

| № | | | | | | | |:-:|:-:|:-:|:-:|:---:|:---:|:---:| | 1 | 0 | 0 | 0 | 1 | 0 | 1 | | 2 | 0 | 0 | 1 | 0 | 0 | 1 | | 3 | 0 | 1 | 0 | 1 | 1 | 1 | | 4 | 0 | 1 | 1 | 0 | 1 | 0 | | 5 | 1 | 0 | 0 | 1 | 1 | 1 | | 6 | 1 | 0 | 1 | 0 | 1 | 0 | | 7 | 1 | 1 | 0 | 1 | 1 | 1 | | 8 | 1 | 1 | 1 | 0 | 1 | 0 |

Разбор строки №4: * . * (Инверсия 1) = . * ( ИЛИ ) = . * Импликация: из (результат ИЛИ) следует (результат НЕ). Вспоминаем правило импликации: дает 0.

Классификация логических выражений

После построения таблицы истинности мы можем посмотреть на последний столбец и сделать выводы о природе формулы. Существует три типа выражений:

1. Тождественно истинные (Тавтологии)

Это формулы, которые принимают значение 1 (Истина) при любых значениях переменных. Последний столбец состоит только из единиц.

Классический пример — закон исключенного третьего:

Где — высказывание. Смысл: «Либо дождь идет, либо дождь не идет» — третьего не дано, это всегда правда.

Тавтологии играют огромную роль в логике, так как они выражают логические законы.

2. Тождественно ложные (Противоречия)

Это формулы, которые принимают значение 0 (Ложь) при любых значениях переменных. Последний столбец состоит только из нулей.

Пример:

Где — высказывание. Смысл: «Дождь идет И дождь не идет» одновременно. Это невозможно.

3. Выполнимые (Нейтральные)

Это формулы, которые могут быть как истинными, так и ложными, в зависимости от значений переменных. В последнем столбце встречаются и нули, и единицы. Большинство реальных условий в программировании относятся именно к этому типу.

Зачем это нужно на практике?

Может показаться, что рисование таблиц — это чисто академическое занятие. Однако это мощный инструмент отладки и проектирования.

Упрощение условий в коде. Часто программисты пишут громоздкие конструкции if. Построив таблицу истинности, можно заметить, что сложное выражение из 5 операций ведет себя точно так же, как простое выражение из 2 операций. Это называется минимизацией логической функции.

Тестирование. Таблица истинности — это готовый план для Unit-тестов. Каждая строка таблицы — это один тест-кейс.

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

Заключение

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

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

Основные законы алгебры логики и теоремы де Моргана

Приветствую вас, студенты! В прошлой лекции мы научились строить таблицы истинности. Это мощный, универсальный, но, признаемся честно, довольно громоздкий инструмент. Если у вас в выражении 3 переменные, таблица занимает 8 строк. А если переменных 5? Это уже 32 строки. А если 10? Таблица займет 1024 строки!

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

Сегодня мы изучим законы логического мышления. Они позволят вам брать сложные, запутанные логические условия и сворачивать их в элегантные и короткие формулы. Это сэкономит время работы процессора в ваших программах и нервные клетки при анализе задач.

Зачем нужны законы логики?

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

Использование этих законов позволяет:

Упрощать логические выражения (минимизация функций).

Менять структуру выражений (например, избавляться от скобок).

Приводить выражение к удобному виду для реализации на конкретных микросхемах или в коде.

Давайте разделим все законы на несколько понятных групп.

Группа 1: Законы одной переменной

Эти законы описывают, как переменная взаимодействует сама с собой или с константами (Истиной и Ложью).

1. Закон тождества (Повторения)

В обычной алгебре . В логике всё проще: если я скажу «Я хочу спать ИЛИ я хочу спать», это значит просто «Я хочу спать».

Где — логическое высказывание, — дизъюнкция (ИЛИ). Смысл: повторение альтернативы ничего не меняет.

Где — конъюнкция (И). Смысл: повторение одного и того же условия не усиливает его.

2. Законы с константами (0 и 1)

Здесь важно помнить, что — это Ложь, а — это Истина.

Для ИЛИ (): * . (Если к высказыванию добавить «или Ложь», результат зависит только от высказывания). * . (Если к высказыванию добавить «или Истина», всё выражение становится истинным. Ложка мёда в бочке дёгтя делает всю бочку «сладкой» с точки зрения логики ИЛИ).

Для И (): * . (Умножение на единицу не меняет значения). * . (Умножение на ноль обнуляет всё. Если одно из условий ложно, то и всё «И» ложно).

3. Закон двойного отрицания

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

Где — операция инверсии (НЕ). Двойное отрицание возвращает исходное значение.

Пример: «Неверно, что я не сделал домашнее задание» = «Я сделал домашнее задание».

4. Закон исключенного третьего

Фундаментальный закон классической логики. Третьего не дано.

Где — высказывание, — его отрицание. Смысл: Либо событие произойдет, либо не произойдет. Одно из двух обязательно истинно.

5. Закон противоречия

Нельзя быть одновременно и правым, и неправым.

Где — конъюнкция. Смысл: Высказывание и его отрицание не могут быть истинны одновременно.

Группа 2: Законы взаимодействия переменных

Эти законы очень похожи на те, что вы учили в школе на уроках математики (переместительный, сочетательный, распределительный).

1. Коммутативный (Переместительный) закон

От перестановки мест слагаемых (или множителей) результат не меняется.

2. Ассоциативный (Сочетательный) закон

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

3. Дистрибутивный (Распределительный) закон

А вот здесь будьте внимательны! В обычной алгебре мы знаем правило раскрытия скобок: . В логике оно тоже работает.

Первый дистрибутивный закон (для И относительно ИЛИ):

Где — логическое умножение, — логическое сложение. Мы как бы «вносим» внутрь скобки.

Второй дистрибутивный закон (для ИЛИ относительно И): Внимание! Этого нет в обычной арифметике. В логике можно раскрывать скобки и для сложения!

Где — дизъюнкция, — конъюнкция. Обратите внимание: знак, стоявший снаружи (), попадает внутрь скобок, а знак из скобок () оказывается снаружи.

!Визуальное представление раскрытия скобок для операции ИЛИ

Теоремы де Моргана

Август де Морган — шотландский математик, современник Джорджа Буля. Он сформулировал правила, которые связывают конъюнкцию и дизъюнкцию через отрицание. Эти теоремы — одни из самых важных инструментов для упрощения логики, особенно в программировании (например, при инвертировании условий if).

Суть теорем можно запомнить фразой: «Отрицание разбивает общую черту и меняет знак на противоположный».

Первая теорема де Моргана (Отрицание конъюнкции)

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

Где — отрицание произведения, — сумма отрицаний.

Пример из жизни: Пусть начальник говорит: «Чтобы получить премию, нужно выполнить план () И не опаздывать ()». Вы НЕ получили премию (). Что это значит? Это значит, что вы либо не выполнили план (), либо опаздывали (), либо и то и другое сразу. То есть сработало ИЛИ.

Вторая теорема де Моргана (Отрицание дизъюнкции)

Отрицание того, что произошло хотя бы одно событие, означает, что не произошло ни одного из них.

Где — отрицание суммы, — произведение отрицаний.

Пример из жизни: Условие: «Вход разрешен с билетом () ИЛИ по приглашению ()». Вас НЕ пустили (). Что это значит? Это значит, что у вас нет билета () И у вас нет приглашения (). Оба условия ложны одновременно.

Практический пример упрощения

Давайте применим полученные знания на практике. Упростим выражение:

Где — переменные, — дизъюнкция, — конъюнкция, — инверсия.

Шаг 1. Замечаем общий множитель. Мы видим, что в обеих скобках есть . Это напоминает нам второй дистрибутивный закон, только в обратную сторону (вынесение за скобки). Применим его: .

Шаг 2. Применяем закон противоречия. Внутри скобок у нас . Мы знаем, что это всегда Ложь (). Получаем: .

Шаг 3. Применяем закон действия с нулем. .

Ответ: .

Посмотрите, как здорово! Изначально у нас было сложное выражение с двумя скобками и тремя операциями. А оказалось, что результат зависит только от переменной . Переменная вообще не влияет на результат. Если бы мы строили схему, мы бы сэкономили кучу проводов и транзисторов.

Еще один пример с де Морганом

Упростим выражение:

Шаг 1. Раскроем инверсию над скобкой по закону де Моргана. Меняем на , разрываем отрицание. .

Шаг 2. Убираем двойное отрицание. . Теперь наше выражение выглядит так: .

Шаг 3. Применяем закон поглощения (или выносим B за скобки). Давайте вынесем за скобки (по дистрибутивному закону): . Примечание: мы представили одинокое как .

Шаг 4. Упрощаем скобку. . Любое выражение ИЛИ Истина равно Истине (). Получаем: .

Шаг 5. Финал. .

Ответ: .

Заключение

Сегодня мы вооружились мощным математическим аппаратом. Законы алгебры логики и теоремы де Моргана — это основа для оптимизации любых логических систем, от условий в коде вашего сайта до архитектуры процессора в вашем смартфоне.

Главное, что нужно запомнить:

Де Морган меняет И на ИЛИ (и наоборот) при раскрытии общего отрицания.

, а .

Двойное отрицание исчезает.

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

Практическое применение законов для упрощения логических выражений

Приветствую вас, коллеги! Мы уже проделали большой путь. Мы изучили алфавит логики (операции), научились читать (таблицы истинности) и даже выучили грамматику (законы алгебры логики и теоремы де Моргана). Теперь пришло время самого интересного — мы будем учиться писать «красиво».

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

Зачем нам это нужно?

Прежде чем мы начнем решать задачи, давайте вспомним, ради чего мы это делаем:

Экономия ресурсов. В схемотехнике каждая логическая операция — это физический транзистор. Меньше операций — дешевле чип, меньше энергопотребление, меньше нагрев.

Скорость. В программировании сложные условия (if) требуют времени на вычисление. Упрощенное условие выполняется быстрее.

Читаемость. Код if (A) понять гораздо проще, чем if ((A || B) && (A || !B)).

Алгоритм упрощения логических выражений

Хотя каждое выражение уникально, существует общий подход, который помогает в 90% случаев. Это своего рода «дорожная карта» упрощения.

!Пошаговый алгоритм действий для упрощения любой логической функции

Давайте разберем эти шаги подробнее.

Шаг 1. Избавляемся от «неудобных» операций

Импликация () и эквивалентность () удобны для человеческой речи, но неудобны для алгебраических преобразований. Первым делом мы заменяем их на базовые операции: И, ИЛИ, НЕ.

Основная формула замены импликации:

где — посылка, — следствие, — инверсия посылки, — дизъюнкция.

Шаг 2. Применяем законы де Моргана

Если у вас есть отрицание перед скобкой, например , с ним работать сложно. Нужно «внести» отрицание внутрь скобок. Напоминаю:

где — инверсия, — дизъюнкция, — конъюнкция. Знак меняется с ИЛИ на И.

Шаг 3. Выносим общие множители и группируем

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

Разбор типовых примеров

Лучший способ научиться — это практика. Давайте решим несколько задач разной сложности.

Пример 1: Метод склеивания

Упростим выражение:

где — переменные, — конъюнкция, — дизъюнкция, — отрицание .

Решение:

Мы видим общий множитель в обеих скобках. Вынесем его за скобки (дистрибутивный закон):

где вынесено, а в скобках осталось объединение и его отрицания.

Посмотрим на скобку . Это закон исключенного третьего. Переменная или истина, или ложна — третьего не дано. Значение этой скобки всегда равно 1 (Истина).

Любое высказывание, умноженное на Истину, равно самому себе.

Ответ: .

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

Пример 2: Упрощение с импликацией

Упростим выражение:

где — импликация, — отрицание , — дизъюнкция.

Решение:

Избавляемся от импликации по формуле . В нашем случае роль играет , а роль играет скобка .

где — двойное отрицание первого элемента.

Применяем закон двойного отрицания: .

Убираем лишние скобки (ассоциативный закон), так как везде стоит знак .

Применяем закон идемпотентности (повторения): .

Ответ: .

Пример 3: Закон поглощения (Важный трюк!)

Рассмотрим выражение, которое часто ставит в тупик новичков:

где — дизъюнкция, — конъюнкция.

Кажется, что здесь ничего нельзя сделать. Но давайте распишем как (ведь это одно и то же).

Представим выражение так:

Вынесем общий множитель за скобки:

Вспомним свойство единицы для ИЛИ: . (Истина ИЛИ что угодно = Истина).

Результат:

Ответ: .

Это называется законом поглощения. Более сильное условие () поглощает более слабое ().

> Аналогия из жизни: Если начальник говорит: «Сделай отчет () ИЛИ (сделай отчет () и выпей кофе ())». Вам достаточно просто сделать отчет. Вторая часть фразы уже не имеет значения, так как если вы сделали отчет, всё условие выполнено.

Пример 4: Сложный случай с де Морганом

Упростим:

Решение:

Видим длинную черту (отрицание) над скобкой. Применяем вторую теорему де Моргана: меняем на и убираем общее отрицание, навешивая его на каждый элемент.

Убираем двойные отрицания внутри скобки (, ).

Применяем распределительный закон. Здесь у нас конструкция вида , где , а . Но удобнее применить дистрибутивность «наоборот» — раскрыть скобки относительно сложения.

где мы добавили к каждому множителю из первой скобки.

Смотрим на первую скобку: . Это закон исключенного третьего, он равен .

Единица при умножении исчезает.

Ответ: (что, кстати, равносильно ).

Оптимизация условий в программировании

Давайте посмотрим, как это работает в реальном коде. Допустим, вы пишете систему доступа для сайта.

У вас есть условие: «Доступ запрещен, если пользователь НЕ администратор И НЕ модератор».

В коде это может выглядеть так:

Используя закон де Моргана , мы можем переписать это условие:

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

Частые ошибки при упрощении

Потеря приоритетов. Забыть, что конъюнкция () выполняется раньше дизъюнкции (), если нет скобок. Это как забыть, что умножение идет перед сложением.

Неполное применение де Моргана. При раскрытии часто забывают поменять знак на .

Путаница с константами. Запомните:

* (Истина побеждает в ИЛИ) * (Ложь побеждает в И)

Заключение

Мы научились применять законы логики на практике. Теперь вы можете брать громоздкие формулы и превращать их в компактные выражения. Это навык, который отличает новичка от профессионала: профессионал не просто пишет работающее решение, он пишет оптимальное решение.

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