|
Журнал вычислительной математики и математической физики, 1977, том 17, номер 6, страницы 1556–1563
(Mi zvmmf5897)
|
|
|
|
О локальном алгоритме индекса $1$ для построения суммы тупиковых дизъюнктивных нормальных форм для функций $k$-значной логики
А. Н. Нурлыбаев Москва
Аннотация:
Строится алгоритм индекса $1$, решающий вопрос о вхождении элементарной конъюнкции в д.н.ф., являющуюся суммой тупиковых д.н.ф. данной функции $k$-значной логики, и доказывается его мажорантность.
Поступила в редакцию: 20.05.1976 Исправленный вариант: 29.05.1977
Образец цитирования:
А. Н. Нурлыбаев, “О локальном алгоритме индекса $1$ для построения суммы тупиковых дизъюнктивных нормальных форм для функций $k$-значной логики”, Ж. вычисл. матем. и матем. физ., 17:6 (1977), 1556–1563; U.S.S.R. Comput. Math. Math. Phys., 17:6 (1977), 203–210
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf5897 https://www.mathnet.ru/rus/zvmmf/v17/i6/p1556
|
Статистика просмотров: |
Страница аннотации: | 167 | PDF полного текста: | 88 | Первая страница: | 1 |
|