Публікація: Стандартные формы в конечной алгебре
Завантаження...
Дата
1984
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
«Вища школа»
Анотація
В этой статье для конечной алгебры формулируется теорема о разложении, вводятся стандартные формы — СДНФ и СКНФ и полная система тождеств. В конечной алгебре, как и в алгебре конечных предикатов, справедлива теорема о разложении в двух вариантах — дизъюнктивном и конъюнктивном.
Опис
Ключові слова
конечная алгебра, система тождеств, теоррема о разложении
Бібліографічний опис
Шабанов-Кушнаренко Ю. П. Стандартные формы в конечной алгебре / Ю. П. Шабанов-Кушнаренко // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : «ВИЩА ШКОЛА», 1984. – Вып. 33. – С. 3-9.