Еквацiональна решiтка одного класу алгебр
DOI:
https://doi.org/10.24144/2616-7700.2018.2(33).109-113Анотація
У роботi розглядається задача знаходження повних систем тотожностей в класi алгебр, формули яких описують булевi зображення. Побудованi скiнченнi повнi системи тотожностей дали можливiсть знайти Т-базис i побудувати еквацiональну решiтку такого класу алгебр.Посилання
Мальцев А. И. Алгебраические системы. – М.: Наука., 1970. – 392 с.
Линдон Р. К. Тождества в двухзначных исчислениях // Кибернетический сборник.– 1960.— №1.— С.234-245.
Калицкий Я., Скотт Д. Эквациональная полнота абстрактных алгебр // Кибернетический сборник.– 1961.— №2.– С.41-52.
Линдон Р. К. Тождества в конечных алгебрах // Кибернетический сборник.– 1960.– 1, №.– С. 246–248.
Мурский В. Л. Конечная базируемость тождеств и другие свойства «почти всех» конечных алгебр // Проблемы кибернетики. – 1978. – 8, №30. – С. 43–56.
Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б. Функции лгебры логики и классы Поста.– М.:Наука, 1966.– 120 с.
Post E. Two-valued iterative systems, 1941.
Мич I. А., Нiколенко В. В. Повнi системи тотожностей в одному класi алгебр // Наук. вiсник Ужгород. ун-ту. Сер. матем. i iнформ. – Ужгород, – 2017. – Вип. 1 (30). – С. 79–86.
Мич I. А., Нiколенко В. В. Досконалi диз’юнктивнi нормальнi форми в одному класi алгебр // Наук. вiсник Ужгород. ун-ту. Сер. матем. i iнформ. – Ужгород, – 2017. – Вип. 2 (31). – С. 123–128.
Мич I. А., Нiколенко В. В., Варцаба О. В. Досконалi диз’юнктивнi нормальнi форми алгебри U(2) // Наук. вiсник Ужгород. ун-ту. Сер. матем. i iнформ. – Ужгород, – 2018. – Вип. 1 (32). – С. 124–129.
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2019 І. А. Мич, В. В. Нiколенко
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.