замкнутый класс трехзначной логики

[BapuK]

P_{\(0,1\)} - функции, которые для всякого набора a={a1, …, an} состоящего из 0 и 1, на всех наборах b, не совпадающих с a ни в одном разряде, не принимают либо значения 0, либо значения 1 (это значение может зависеть от набора a).
Класс рассматривается в трехзначной логике, помогите найти пример функции(а лучше двух или трех), которая принадлежит данному классу, а то мне не очень понятно, что это за класс таких функций, а доказывать замкнутость надо...

[BapuK]

Обнаружил еще один непонятный мне класс, и тоже нужен пример:
класс $U_0$, состоит из функций, которые на любой совокупности наборов, у которых в некоторых фиксированных разрядах стоят нули, а в остальных их нет, либо не принимают значения нуль, либо равны нулю на всех этих наборах
ЗЫ в первом сообщении должно быть так:$P_{\left(0,1\right)}$ и $a=\left(a_1, …, a_n\right)$
ЗЗЫ для функций нужен желательно вектор значений...