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

На множестве $P_2^*$ частичных булевых функций рассматривается оператор замыкания с разветвлением по предикату равенства. Доказывается, что по отношению к этому оператору каждый замкнутый класс из $P_2^*$ порождается множеством всех своих функций, зависящих не более чем от двух переменных. Определяются все максимальные и субмаксимальные классы в $P_2^*$. Перечисляются все замкнутые классы, порождаемые одной одноместной или двуместной функцией.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 06–01–00438.