О классах функций, замкнутых относительно специальной операции суперпозиции

Изучаются свойства функций $k$-значной логики, где $k=2^m$, $m>1$. На основе кодирования функций многозначной логики в двоичной системе счисления определяется специальная операция суперпозиции. Показывается, что семейство классов, содержащих только функции, принимающие не более двух значений, и замкнутых относительно рассматриваемой операции и операции введения несущественной переменной, является счетным.