Сокращение булевой функции на 2-4 переменных по minterms и don’t care наборам методом склеивания импликант.
Что минимизируется
Калькулятор принимает номера наборов, на которых функция равна 1, и необязательные don’t care значения. На выходе получается сокращенная ДНФ: термы с лишними переменными убираются, если их можно объединить с соседними наборами.
Метод расчета
Внутри используется безопасная схема в духе Куайна-Мак-Класки для 2-4 переменных: наборы переводятся в двоичные шаблоны, затем склеиваются отличающиеся одним битом импликанты, после чего выбирается покрытие всех обязательных единиц.
Как читать результат
Шаблон 10-1 означает, что третья переменная не влияет на терм. Рядом выводится список выбранных импликант и minterms, которые они покрывают. Если функция сложная, результат можно сверить на карте Карно.