Екваціональне описання функціонально неповних булевих алгебр

Abstract

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