Онлайн-инструмент для преобразования таблицы истинности в логическое выражение
Преобразуйте минтермы в каноническую ДНФ с операторами !, && и ||. Введите переменные и индексы, получите выражение. Обработка выполняется локально в вашем б…
Начать работу
Возможности и ограничения
Инструмент принимает до шести переменных и произвольный набор минтермов. Например, для переменных A,B и минтермов 1,2 результатом будет (!A && B) || (A && !B). Повторяющиеся минтермы удаляются. Если список минтермов пуст, выражение равно false.
Как строится выражение
Каждый минтерм соответствует полной конъюнкции всех переменных, где переменная инвертируется, если её бит в индексе равен 0. Минтермы объединяются через ИЛИ.
Ограничения
Инструмент не минимизирует выражение, не принимает безразличные состояния, не строит КНФ/ПОС, не рисует схемы и не импортирует таблицу истинности. Для минимизации используйте карту Карно.
Часто задаваемые вопросы
Что такое минтерм?
Минтерм — это индекс строки таблицы истинности, в которой функция равна 1. Например, для двух переменных индексы 0,1,2,3 соответствуют наборам (0,0), (0,1), (1,0), (1,1).
Почему выражение не минимизируется?
Инструмент выдаёт каноническую ДНФ без упрощений. Для минимизации используйте отдельный инструмент карты Карно.
Можно ли использовать переменные с именами более одной буквы?
Да, но они должны быть уникальными и состоять из символов ASCII. Например, X1,Y2 допустимы.
Проверочный список
- Проверьте, что переменные разделены запятыми.
- Убедитесь, что индексы находятся в допустимом диапазоне.
- Помните, что первая переменная — старший бит.
Обработка выполняется локально в вашем браузере.