Проверка тупиковой ДНФ методом Петрика

Выберем наименьшее количество строк таких, чтобы для каждого столбца из данной таблицы и хотя бы одной единицы в этом столбце нашлась хотя бы одна строка из множества выбранных строк, содержащая эту единицу. Тогда дизъюнкция членов, сопоставленных по всем выбранным столбцам, является минимальной ДНФ.

Обозначим термы символами

Составим символическую конъюнкцию по столбцам, при этом дизъюнкция соответствует обозначенным термам одного столбца.

Используя законы идемпотентности и дистрибутивный , а также формулу поглощения , получим

Таким чином, и по методу Петрика все термы тупиковой ДНФ необходимы, то есть

Результат совпадает с полученным с помощью карты Карно.