О реализации булевых функций обобщенными $\alpha$-формулами

Рассмотрена задача о реализации булевых функций обобщенными $\alpha$-формулами. Введено понятие обобщенной $\alpha$-формулы. Определено понятие универсального множества обобщенных $\alpha$-формул для заданного множества булевых функций. Введено понятие двойственных обобщенных $\alpha$-формул, сформулирован принцип двойственности. Показано, что для каждого $n\geq2$ для множеств $T_0(n)$ и $T_1(n)$ всех булевых функций от переменных $x_1,x_2,\dots,x_n$, сохраняющих константы 0 и 1 соответственно, существуют универсальные множества.