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

Строится алгоритм индекса $1$, решающий вопрос о вхождении элементарной конъюнкции в дизъюнктивную нормальную форму (д.н.ф.), являющуюся суммой тупиковых д.н.ф. данной булевой функции, и доказывается его мажорантность.