Постановка задачи минимизации в классе ДНФ

На первом этапе однозначно по данной функции строится СДНФ, а на втором этапе, выбрасывая из СДНФ лишние максимальные интервалы, находим МДНФ. В отличие от первого этапа второй этап неоднозначен. Эта неоднозначность нахождения МДНФ определяется двумя факторами: во-первых, для данной функции может существовать несколько МДНФ, во-вторых, само выбрасывание максимальных интервалов делается на основании перебора.

Аналитическая минимизация

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

Выполняется в соответствии с основными теоремами алгебры логики, приведенными в разделе 4.8.