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

Автор(и)

DOI:

https://doi.org/10.24144/2616-7700.2022.40(1).195-204

Ключові слова:

булева алгебра, фактор решітка, базисна еквівалентність

Анотація

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

Посилання

Mych, I. A., Nykolenko, V. V., & Vartsaba, O. V. (2020). Investigation of signature cube of universal boolean algebra. Scientific Bulletin of Uzhhorod University. Ser. Of Mathematics and Informatics, 2(37), 157–167. https://doi.org/10.24144/2616-7700.2017.1(30).79–86. [in Ukrainian].

Mych, I. A., Nykolenko, V. V., & Vartsaba, O. V. (2020). Structure of signature cube of Boolean algebra. Scientific Bulletin of Uzhhorod University. Ser. Of Mathematics and Informatics, 1(38), 149–156. https://doi.org/10.24144/2616-7700.2021.38(1).149-156 [in Ukrainian].

Mych, I. A., Nykolenko, V. V., & Vartsaba, O. V. (2021). Basic equivalence in class universal boolean algebras. Scientific Bulletin of Uzhhorod University. Ser. Of Mathematics and Informatics, 2(39), 152–157. https://doi.org/10.24144/2616-7700.2021.39(2).152-157 [in Ukrainian].

##submission.downloads##

Опубліковано

2022-05-12

Як цитувати

Мич, І. А., Ніколенко, В. В., Варцаба, О. В., & Динис, В. С. (2022). Алгоритм побудови базисної решітки класу M₂ булевих алгебр. Науковий вісник Ужгородського університету. Серія «Математика і інформатика», 40(1), 195–204. https://doi.org/10.24144/2616-7700.2022.40(1).195-204

Номер

Том 40 № 1 (2022)

Розділ

Iнформатика, комп’ютернi науки та прикладна математика

Ліцензія

Авторське право (c) 2022 O. V. Vartsaba, I. A. Mych, V. V. Nykolenko, V. S. Dynys

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.