Автоматическое построение совершенной ДНФ и совершенной КНФ по вектору значений или списку единичных наборов.
Что строит этот калькулятор
Калькулятор получает таблицу истинности в компактном виде и формирует две канонические записи: СДНФ по строкам, где функция равна 1, и СКНФ по строкам, где функция равна 0. Формулы выводятся рядом с проверочной таблицей, чтобы было видно, откуда взят каждый терм.
Форматы ввода
Можно вставить готовый вектор значений, например 10010110, или перечислить minterms через запятую. Имена переменных задаются отдельно, поэтому один и тот же вектор легко проверить для A,B,C или для более предметных обозначений.
На что обратить внимание
СДНФ и СКНФ могут быстро стать длинными: это нормально для совершенных форм. Если нужна более короткая запись, после получения minterms используйте минимизацию булевой функции или карту Карно.