Алгоритм построения дизъюнктивной нормальной формы, эквивалентной произведению левых частей булевых уравнений нельсоновского типа

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