|
Журнал вычислительной математики и математической физики, 1980, том 20, номер 4, страницы 1075–1077
(Mi zvmmf5210)
|
|
|
|
Научные сообщения
Метод синтеза плоских дизъюнктивных нормальных форм для логических функций
Ю. А. Маматов Ярославль
Аннотация:
Разработан метод с трудоемкостью $O(mn)$ ($m$ – длина исходного задания функции перечислением ее единиц (нулей), а $n$ – число аргументов), позволяющий синтезировать плоскую д.н.ф. булевой функции, если она допускает подобную реализацию, и дающий отрицательный ответ в противном случае. Вопрос исследован для случая фиксированного порядка входных аргументов.
Поступила в редакцию: 21.05.1979
Образец цитирования:
Ю. А. Маматов, “Метод синтеза плоских дизъюнктивных нормальных форм для логических функций”, Ж. вычисл. матем. и матем. физ., 20:4 (1980), 1075–1077; U.S.S.R. Comput. Math. Math. Phys., 20:4 (1980), 281–283
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf5210 https://www.mathnet.ru/rus/zvmmf/v20/i4/p1075
|
|