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