Тупиковые доопределения частичных монотонных булевых функций из класса (n,1,k)

В работе доказано, что любое тупиковое доопределение частичной булевой функции из класса (n,1,k) имеет нулевую область неопределенности. Выделены условия, при которых доопределение функции из класса (n,1,k) является однозначным.