Критерий полноты для доопределяемых булевых функций

В работе рассматриваются булевы функции, определенные не на всех наборах. При этом неопределенность понимается как принятие решения в модели с тремя возможными вариантами ответа – “за”, “против” и “не определился или безразлично”, и решение “за” принимается в ситуации “отсутствия против”. Вводится соответствующее определение суперпозиции, замкнутых классов и доказывается критерий полноты.