Алгоритм побудови базисної решiтки класу M2 булевих алгебр

Abstract

У данiй роботi продовжується дослiдження базисної решiтки класу алгебр 𝑀2. Базисну решiтку класу 𝑀2 можна побудувати з сигнатурної решiтки цього класу. Базиснi решiтки є фактор решiтками вiдповiдних сигнатурних решiток. У данiй роботi наводиться алгоритм побудови базисної решiтки (фактор-решiтки) класу алгебр 𝑀2, наводиться повна iнформацiя про базисну решiтку у виглядi таблиць, якi вказують розташування сумiжних класiв i ребер, що їх з’єднують. Ключовi слова: булева алгебра, фактор решiтка, базисна еквiвалентнiсть.

Mych I. A., Nykolenko V. V., Vartsaba O. V., Dynys V. S. Algorithm construction of basic grating 𝑀2 of class of Boolean algebra. In this paper, the investigation of the basic grating of the algebra class 𝑀2 has been continued. The basic gratings of a class 𝑀2 can be constructed from the signature lattice of this class, and basic gratings are the factor lattice of the corresponding signature gratings. This paper presents an algorithm for constructing a basic lattice (factor lattice) of a class of algebras 𝑀2 and provides complete information about the basic grating in the form of tables that indicate the location of adjacent classes and the edges that connect them. Keywords: Boolean Algebra, factor-grating, Basic Equivalence.