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

It is proved that any terminal inferring of a partical monotone Boolean function from the (n,1,k) class has a zero domain of uncertainty. The conditions of univocal Boolean function inferring are defined in the paper