Cвойства систем образующих универсальных алгебр, порождаемых булевыми биюнктивными функциями

В работе исследуются два подхода к описанию систем образующих универсальных алгебр, порождаемых булевыми биюнктивными функциями. Основными множествами этих алгебр являются множества выполняющих векторов булевых функций, представимых в виде $2$-КНФ; алгебры имеют одну тернарную операцию, определяемую покоординатным применением функции голосования от трех переменных к тройкам двоичных $n$-мерных векторов. Первый подход состоит в исследовании графов соответствующих $2$-КНФ, второй основан на применении задачи о покрытиях множеств.