Универсальные функции при использовании мощных оракулов

Рассматривается способ однозначного задания булевых функций из некоторого множества при помощи четности количества единиц на подкубах функции, не принадлежащей этому множеству (оракул — счетчик четности). Функции, годные для таких заданий, ранее были названы универсальными. Доказан критерий универсальности функций для класса линейных функций. Доказана универсальность отрицания суммы по модулю два для классов монотонных и поляризуемых функций.