СДНФ и СКНФ по таблице истинности

Разбирает вектор значений таблицы истинности и строит совершенную ДНФ и совершенную КНФ. Все вычисления выполняются в браузере: удобно разобрать пример на занятии, проверить домашнюю задачу или быстро получить трассировку для конспекта.

Вектор задается в порядке наборов 000, 001, 010...

Как читать результат

Верхняя строка дает короткий итог, ниже идут таблица или пошаговая трассировка. Если во вводе есть ошибка, калькулятор показывает диагностическое сообщение и не скрывает исходные данные.

Пример для проверки

В форме уже стоит учебный пример. Нажмите «Рассчитать», затем измените одно ребро, значение или вектор и сравните, как меняется результат.

Связанные калькуляторы