Введите логическое выражение — инструмент выполнит равносильные преобразования по шагам и покажет всю цепочку: замену импликации, законы де Моргана, раскрытие скобок, склеивание и поглощение. У каждого шага подписан закон алгебры логики, по которому он сделан.
Теория и пояснения
Равносильные преобразования логических выражений — это переписывание формулы по законам алгебры логики так, чтобы её таблица истинности не менялась. Две формулы равносильны, если на каждом из 2ⁿ наборов значений переменных они дают одно и то же значение; поэтому любое тождество алгебры логики (де Моргана, дистрибутивности, поглощения) можно применять к части формулы, не боясь изменить смысл целого. Стандартный порядок преобразования такой. Сначала избавляются от производных связок: импликацию заменяют по правилу A → B = ¬A ∨ B, эквивалентность — по A ↔ B = (A ∧ B) ∨ (¬A ∧ ¬B), исключающее ИЛИ — по A ⊕ B = (A ∧ ¬B) ∨ (¬A ∧ B), штрих Шеффера и стрелку Пирса — через отрицание конъюнкции и дизъюнкции. Затем законами де Моргана отрицания опускают к переменным и снимают двойные отрицания: после этого знак ¬ стоит только перед буквами. Далее раскрывают скобки по дистрибутивному закону — формула превращается в дизъюнктивную нормальную форму, то есть в сумму конъюнкций. На последнем этапе сумму сокращают: внутри слагаемых работают идемпотентность A ∧ A = A и закон противоречия A ∧ ¬A = 0, а между слагаемыми — идемпотентность A ∨ A = A, склеивание (X ∧ A) ∨ (X ∧ ¬A) = X и поглощение A ∨ (A ∧ B) = A. Если после этого остаётся слагаемое, все наборы которого уже покрыты другими (консенсус), его тоже убирают — это обобщённое склеивание. Калькулятор на этой странице выполняет ровно эту последовательность и показывает её как цепочку: слева очередная запись формулы, снизу — название применённого закона. Каждый шаг он дополнительно сверяет с таблицей истинности исходной формулы, поэтому цепочка гарантированно состоит из равносильных преобразований. Такие преобразования нужны не только для упрощения: ими доказывают логические тождества, приводят формулы к нормальным формам ДНФ и КНФ, готовят функцию к построению логической схемы с наименьшим числом элементов и решают типовые задания по дискретной математике и информатике.
Частые вопросы
Как выполнить равносильные преобразования онлайн?
Введите формулу в поле выше — калькулятор сам применит законы алгебры логики и выведет всю цепочку преобразований по шагам: на каждой строке показана новая запись формулы и подписан закон, по которому она получена.
Что такое равносильные преобразования логических выражений?
Это замена формулы на другую, у которой такая же таблица истинности. Преобразования выполняют по тождествам алгебры логики: де Моргана, дистрибутивности, поглощения, склеивания, свойствам констант. Смысл формулы при этом не меняется, меняется только запись.
В каком порядке применять законы?
Сначала уберите импликацию, эквивалентность и XOR через ¬, ∧, ∨. Затем законами де Моргана опустите отрицания к переменным и снимите двойные отрицания. Потом раскройте скобки по дистрибутивности. В конце сократите результат идемпотентностью, склеиванием и поглощением.
Как преобразовать логическое выражение с импликацией?
Импликация выражается через дизъюнкцию: A → B = ¬A ∨ B. Отрицание импликации раскрывается по де Моргану: ¬(A → B) = ¬(¬A ∨ B) = A ∧ ¬B, то есть импликация ложна ровно тогда, когда посылка истинна, а заключение ложно.
Чем равносильные преобразования отличаются от упрощения?
Упрощение — это частный случай: цепочка равносильных преобразований, которая ведёт к более короткой записи. Но преобразовывать можно и без сокращения — например, чтобы привести формулу к ДНФ, КНФ или доказать тождество; запись при этом иногда даже удлиняется.
Как проверить, что преобразование выполнено правильно?
Постройте таблицу истинности исходной и полученной формулы и сравните итоговые столбцы: они должны совпадать во всех строках. Инструмент выше делает эту сверку автоматически на каждом шаге и не показывает шаг, если функция изменилась.
Что такое склеивание и поглощение?
Склеивание убирает переменную, от которой результат не зависит: (X ∧ A) ∨ (X ∧ ¬A) = X. Поглощение убирает слагаемое, которое содержит другое целиком: A ∨ (A ∧ B) = A. Оба закона применяются на последнем этапе преобразований, когда формула уже приведена к ДНФ.
Сколько переменных выдерживает цепочка преобразований?
Цепочка строится для формул с числом переменных до пяти: дальше раскрытие скобок даёт слишком длинную запись, чтобы её было полезно читать. Таблица истинности, СДНФ, СКНФ и минимальная форма при этом считаются как обычно.