Преобразование импликации
Преобразование импликации — один из основных логических приемов: связку «если ..., то ...» заменяют через дизъюнкцию и отрицание. После такой замены формула становится удобной для применения законов булевой алгебры, построения таблицы истинности и поиска минимального выражения.
Определение импликации
Импликация \(A \to B\) читается как «если \(A\), то \(B\)». Здесь \(A\) — условие, или посылка, а \(B\) — следствие. Импликация ложна только в одном случае: условие истинно, а следствие ложно. Во всех остальных случаях она истинна.
Импликация \(A \to B\) — логическая операция, принимающая значение 0 только при \(A=1\) и \(B=0\). Во всех остальных случаях её значение равно 1.
| A | B | \(A \to B\) |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Например, высказывание «если число делится на 4, то оно чётное» не нарушается, когда число не делится на 4. Импликация проверяет только ситуацию, в которой условие выполнено. Подробное значение связки удобно повторить на странице «Импликация», которую следует изучить раньше.
Основная формула преобразования
Для дальнейших преобразований импликацию заменяют равносильным выражением: «не \(A\) немесе \(B\)». Это не приблизительное описание, а точное равенство логических функций. Если посылка \(A\) ложна, то \(\neg A\) истинно и вся дизъюнкция истинна. Если \(A\) истинна, результат определяется значением \(B\).
При преобразовании формулы каждую импликацию \(A \to B\) можно заменить на \(\neg A \lor B\). Отрицание ставится только перед посылкой, а следствие сохраняется без отрицания.
Знак \(\equiv\) означает логическую равносильность: левая и правая части имеют одинаковые значения при любых наборах переменных. После замены импликации в выражении остаются отрицание \(\neg\) и дизъюнкция \(\lor\) — операции, с которыми проще применять законы нуля и единицы, идемпотентности и другие правила.
Последняя формула показывает, когда импликация ложна: одновременно истинны \(A\) и \(\neg B\), то есть \(A=1\), \(B=0\). При раскрытии внешнего отрицания используется закон де Моргана. С операцией отрицания можно подробнее познакомиться на странице «Негация».
В жазбалар \(A \to B\) отрицание относится к первой части: \(\neg A \lor B\). Нельзя менять местами \(A\) и \(B\): в общем случае \(A \to B\) не равна \(B \to A\).
Реті преобразования сложной формулы
В экзаменационных выражениях импликация может находиться внутри скобок, под отрицанием или рядом с другими связками. Работайте последовательно, сохраняя скобки и порядок операций.
- Найдите каждую импликацию и определите её левую часть \(A\) и правую часть \(B\).
- Замените \(A \to B\) на \(\neg A \lor B\).
- Раскройте отрицания над скобками, если это требуется, по законам де Моргана.
- Уберите двойные отрицания: \(\neg\neg A \equiv A\).
- Примените законы поглощения, нуля и единицы, идемпотентности и распределения.
- Проверьте результат таблицей истинности или подстановкой нескольких наборов значений.
Сначала полностью раскройте импликации, а уже затем сокращайте формулу. Если начать упрощать «на глаз» до раскрытия связки, легко потерять отрицание перед посылкой.
Как преобразуется выражение \((X \lor Y) \to Z\)?
Разобранный пример
Упростим формулу \(F=(A \to B) \land (B \to C) \land A\). Это типичная цепочка условий: из \(A\) следует \(B\), из \(B\) следует \(C\), а \(A\) истинно.
Нужно получить выражение без импликаций и сократить его с помощью законов булевой алгебры.
Итак, исходная формула равносильна \(A\land B\land C\). Это означает: она истинна только тогда, когда истинны все три переменные. В решении использован закон противоречия \(X\land\neg X\equiv0\).
1. Ошибка в направлении: \(A\to B\) заменяют на \(A\lor\neg B\), хотя это выражение соответствует другой связке. 2. Отрицание ставят перед следствием: правильно \(\neg A\lor B\), а не \(A\lor\neg B\). 3. В формуле \((A\land B)\to C\) отрицание ставят только перед \(A\): правильно \(\neg(A\land B)\lor C\). 4. Забывают скобки при нескольких операциях. 5. Путают импликацию с обратной импликацией; различие между ними разобрано на странице «Обратная и противоположная импликация».
Связь с другими преобразованиями
После раскрытия импликации формула часто превращается в выражение с несколькими отрицаниями и дизъюнкциями. Для его дальнейшего упрощения применяют распределительный закон, поглощение, законы де Моргана и закон исключённого третьего \(A\lor\neg A\equiv1\). Если требуется получить наиболее короткую жазба, полезна бет «Минимальное логическое выражение». Для больших формул можно использовать метод карт Карно, но ручное раскрытие импликаций обычно является первым шагом.
| Исходная связка | Равносильная жазба | Когда равна 0 |
|---|---|---|
| \(A\to B\) | \(\neg A\lor B\) | \(A=1\), \(B=0\) |
| \(\neg(A\to B)\) | \(A\land\neg B\) | Когда \(A=1\), \(B=0\) |
| \((A\lor B)\to C\) | \(\neg(A\lor B)\lor C\) | \(A\lor B=1\), \(C=0\) |
| \(A\to(B\land C)\) | \(\neg A\lor(B\land C)\) | \(A=1\), а \(B\land C=0\) |
Проверка результата
Если есть сомнения, сравните исходную и преобразованную формулы на төрт наборах значений \(A\) и \(B\). Особенно важно проверить набор \(A=1\), \(B=0\): именно на нём импликация должна дать 0. Для формул с большим числом переменных можно проверить критические наборы или построить полную таблицу истинности.
Быстрая проверка
Главное
- Импликация \(A\to B\) равносильна дизъюнкции \(\neg A\lor B\).
- Отрицание ставится перед всей посылкой, включая её скобки.
- Импликация ложна только при \(A=1\) и \(B=0\).
- Отрицание импликации преобразуется так: \(\neg(A\to B)\equiv A\land\neg B\).
- Надёжный порядок решения: раскрыть все импликации, убрать отрицания, применить законы булевой алгебры и проверить результат.