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

В работе исследуется проблема представления булевых функций в виде $f_1\circ\ldots\circ f_m$, где $\circ$ — коммутативная ассоциативная операция и $f_1,\ldots,f_m$ — булевы функции меньшей арности. Для каждой коммутативной ассоциативной операции определены необходимые и достаточные условия отсутствия такого представления и найден соответствующий класс алгоритмической сложности.