|
Журнал вычислительной математики и математической физики, 1978, том 18, номер 3, страницы 728–734
(Mi zvmmf5508)
|
|
|
|
Эта публикация цитируется в 17 научных статьях (всего в 17 статьях)
О локальных алгоритмах упрощения дизъюнктивных нормальных форм булевых функций
А. В. Кабулов, Г. Ф. Лосев Москва
Аннотация:
Приводится краткое изложение теории локальных алгоритмов упрощения (дизъюнктивных нормальных форм) булевых функций. Формулируются известные локальные алгоритмы. Приводится доказательство существенности всех условий, используемых при построении одного из алгоритмов, и доказывается его мажорантность.
Поступила в редакцию: 22.02.1977
Образец цитирования:
А. В. Кабулов, Г. Ф. Лосев, “О локальных алгоритмах упрощения дизъюнктивных нормальных форм булевых функций”, Ж. вычисл. матем. и матем. физ., 18:3 (1978), 728–734; U.S.S.R. Comput. Math. Math. Phys., 18:3 (1978), 201–207
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf5508 https://www.mathnet.ru/rus/zvmmf/v18/i3/p728
|
|