О локальном алгоритме индекса $1$ для построения суммы тупиковых дизъюнктивных нормальных форм для функций $k$-значной логики

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