Эквациональное замыкание

На основе исчисления равенств определяется оператор эквационального замыкания. Приводятся примеры эквационально полных систем и эквационально замкнутых классов. Определяется мощность семейства эквационально предполных классов и даются критерии эквациональной полноты. Находятся все эквационально замкнутые классы булевых функций.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 03–01–00783.