Процедура упрощения д. н. ф. (алгоритм Блейка)

1. Удаление элементарной конъюнкции, которая представима в виде . – реализует функцию и если – тоже реализует функцию , тогда мы можем отбросить .

2. Удаление множителя. Для двух д. н. ф. и таких, что , .

Д. н. ф., которую нельзя упростить с помощью вышеприведенных методов, называется тупиковой.

Примеры: Для функции д. н. ф. – не тупиковая, а – тупиковая.