Стукртура сигнатурного кубу булевих алгебр

Abstract

Дана робота є продовженням досліджень, розпочатих в [1], у яких теорія булевих функцій розглядається з точки зору універсальних алгебр. У цій роботі описано клас функціонально неповних алгебр, проведено дослідження основних типів алгебр і розташування їх по ярусах сигнатурного кубу. У даних дослідженнях універсальні булеві алгебри утворюють 11-мірний сигнатурний куб, до складу якого входять 2048 алгебр. Запропоновано нумерацію (кодифікацію) цих алгебр. Вводиться поняття суміжних, граничних, внутрішніх класів функціонально повних і функціонально неповних алгебр. Булеві алгебри досліджуваного класу поділяють на чотири підкласи: клас внутрішніх функціонально неповних алгебр, клас граничних функціонально неповних алгебр, клас граничних функціонально повних алгебр, клас внутрішніх функціонально повних алгебр. У даній роботі пропонується алгоритм знаходження граничних функціонально повних алгебр на основі розширення сигнатури функціонально неповних алгебр булевими операціями. Побудовані підкласи граничних алгебр для кожної з одинадцяти операцій. Вказано ізоморфізм графів деяких класів граничних алгебр. На основі об’єднання графів отримали -граф граничних функціонально повних алгебр.

Keywords

• сигнатурний куб, граничні алгебри