Еквацiональнi дослiдження нульарних алгебр, алгебр булевого кубу та кубу Жегалкiна

Abstract

У данiй роботi проведенi дослiдження над булевими унiверсальними алгебрами, в сигнатуру яких входять нульарнi, унарнi та частина бiнарних булевих операцiй. Побудованi еквацiональнi та сигнатурнi решiтки класу тривiальних алгебр. Елементи решiток представляються у виглядi квадрата. Клас унiверсальних булевих алгебр складається з восьми алгебр, в сигнатуру яких входять операцiї кон’юнкцiї, диз’юнкцiї та заперечення. Вони утворюють сигнатурнi i еквацiональнi куби. Для тривiальних алгебр i всiх алгебр булевого кубу знайденi повнi системи тотожностей. Повнота систем тотожностей доводиться за допомогою алгоритмiв, якi дозволяють привести формули вiдповiдних алгебр до стандартних канонiчних виглядiв. Куб Жегалкiна складається з восьми алгебр, в сигнатуру яких входять операцiї одиниця, сума та множення за модулем два. Для алгебр кубу Жегалкiна побудована еквацiональна решiтка

Keywords

• булева алгебра
• еквацiональна решiтка
• сигнатурна решiтка