Для решения канонической задачи минимизации методом Квайна-Мак-Класки применяется следующая последовательность действий:
1) Нахождение множества максимальных кубов (простых импликант) булевой функции.
2) Выделение ядра покрытия (определение множества существенных импликант).
3) Дополнение множества кубов, принадлежащих ядру покрытия, минимальным подмножеством из множества максимальных кубов, не входящих в ядро покрытия, для получения покрытия с минимальной ценой.
С точки зрения последовательного преобразования ДНФ булевой функции с целью их упрощения каноническая задача минимизации может быть представлена в виде:
КДНФ Þ СДНФ Þ ТДНФ Þ МДНФ.
Распространение терминологии в отношении нулевого покрытия базируется на понятии имплиценты (как соответствие импликанте) и системы имплицент.
Пример: минимизация булевой функции методом Квайна-Мак-Класки.
Исходная функция задается в числовой форме:
