Онлайн-инструмент для преобразования таблицы истинности в логическое выражение

Возможности и ограничения

Инструмент принимает до шести переменных и произвольный набор минтермов. Например, для переменных A,B и минтермов 1,2 результатом будет (!A && B) || (A && !B). Повторяющиеся минтермы удаляются. Если список минтермов пуст, выражение равно false.

Как строится выражение

Каждый минтерм соответствует полной конъюнкции всех переменных, где переменная инвертируется, если её бит в индексе равен 0. Минтермы объединяются через ИЛИ.

Ограничения

Инструмент не минимизирует выражение, не принимает безразличные состояния, не строит КНФ (POS), не рисует схемы и не импортирует таблицу истинности. Для минимизации используйте карту Карно.

Часто задаваемые вопросы

Что такое минтерм?

Минтерм — полная конъюнкция переменных, соответствующая одной строке таблицы истинности. В поле ввода указываются индексы строк, где функция равна 1. Например, для двух переменных индексы 0,1,2,3 соответствуют наборам (0,0), (0,1), (1,0), (1,1).

Почему выражение не минимизируется?

Инструмент выдаёт каноническую ДНФ без упрощений. Для минимизации используйте отдельный инструмент карты Карно.

Можно ли использовать переменные с именами более одной буквы?

Да, но они должны быть уникальными и состоять из символов ASCII. Например, X1,Y2 допустимы.

Проверочный список

• Проверьте, что переменные разделены запятыми.
• Убедитесь, что индексы находятся в допустимом диапазоне.
• Помните, что первая переменная — старший бит.

Повторяющиеся индексы минтермов учитываются один раз, в порядке первого появления. Имена AND, OR, NOT, true и false зарезервированы независимо от регистра. Каждое поле ввода принимает не более 500 000 кодовых единиц UTF-16; такой же предел действует для сгенерированного выражения. Используйте короткие имена: каждая выбранная строка повторяет все переменные. Выражение не минимизируется. Инструмент карты Карно на этом сайте поддерживает не более четырёх переменных.