Теоретическая кибернетика

Рассматриваются сверхфункции — множества булевых функций, зависящих от одних и тех же переменных. На множестве сверхфункций определяется операция замыкания. Для этой функциональной системы исследуются вопросы полноты и выразимости. Получен критерий полноты произвольной системы сверхфункций в терминах описания предполных классов. Построены некоторые фрагменты решетки замкнутых классов сверхфункций. В частности, получено полное описание подклассов класса \(\mathbf{L}\) сверхфункций, все компоненты которых являются линейными функциями, и класса \(\mathbf{D}\) сверхфункций, все компоненты которых являются дизъюнкциями; показано, что в первом случае семейство подклассов является конечным, а во втором — счетным.

https://keldysh.ru/papers/2020/prep2020_64.pdf