Алгоритм побудови базисної решітки класу 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
Номер
Розділ
Iнформатика, комп’ютернi науки та прикладна математика
Ліцензія
Авторське право (c) 2022 O. V. Vartsaba, I. A. Mych, V. V. Nykolenko, V. S. Dynys
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.