|
Журнал вычислительной математики и математической физики, 1974, том 14, номер 2, страницы 470–478
(Mi zvmmf6447)
|
|
|
|
Наилучший локальный алгоритм для построения суммы тупиковых дизъюнктивных нормальных форм булевой функции, использующий окрестности минимального порядка
Г. Ф. Лосев Москва
Аннотация:
Строится алгоритм индекса $1$, решающий вопрос о вхождении элементарной конъюнкции в дизъюнктивную нормальную форму (д.н.ф.), являющуюся суммой тупиковых д.н.ф. данной булевой функции, и доказывается его мажорантность.
Поступила в редакцию: 18.01.1973
Образец цитирования:
Г. Ф. Лосев, “Наилучший локальный алгоритм для построения суммы тупиковых дизъюнктивных нормальных форм булевой функции, использующий окрестности минимального порядка”, Ж. вычисл. матем. и матем. физ., 14:2 (1974), 470–478; U.S.S.R. Comput. Math. Math. Phys., 14:2 (1974), 193–201
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf6447 https://www.mathnet.ru/rus/zvmmf/v14/i2/p470
|
Статистика просмотров: |
Страница аннотации: | 165 | PDF полного текста: | 73 | Первая страница: | 1 |
|