Екваціональне Описання Функціонально Неповних Булевих Алгебр

У даній роботі розглядається клас булевих алгебр, які включають в себе операції сума за модулем два, диз’юнкцію, кон’юнкцію, заперечення, константи 0 та 1. Введені поняття сигнатурної тотожності, за допомогою якої можна змінювати сигнатуру алгебр цього класу, та поняття екваціонального кластеру алгебр. Усі функціонально неповні алгебри утворюють двадцять один кластер. У роботі знайдені повні системи тотожностей для всіх тридцяти чотирьох функціонально неповних алгебр даного класу.