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