Аннотация:
Предлагается алгоритм построения д. н. ф. булевых функций, заданных перечислением нулевых наборов. Оценивается сложность построенных д. н. ф. Приводятся примеры построения данным алгоритмом кратчайших д. н. ф. для некоторых специальных классов функций.
Образец цитирования:
Ю. И. Журавлёв, А. Ю. Коган, “Алгоритм построения дизъюнктивной нормальной формы, эквивалентной произведению левых частей булевых уравнений нельсоновского типа”, Ж. вычисл. матем. и матем. физ., 26:8 (1986), 1243–1249; U.S.S.R. Comput. Math. Math. Phys., 26:4 (1986), 184–188
А. В. Панов, “Бинарные функции многозначных аргументов. Обобщения и исследования дизъюнктивных нормальных форм для таких функций”, Ж. вычисл. матем. и матем. физ., 55:1 (2015), 135–144; A. V. Panov, “Binary functions of multivalued arguments: generalization and investigation of disjunctive normal forms for such functions”, Comput. Math. Math. Phys., 55:1 (2015), 131–139
Ю. В. Максимов, “Кратчайшие и минимальные дизъюнктивные нормальные формы полных функций”, Ж. вычисл. матем. и матем. физ., 55:7 (2015), 1266–1280; Yu. V. Maximov, “Shortest and minimal disjunctive normal forms of complete functions”, Comput. Math. Math. Phys., 55:7 (2015), 1242–1255
Ю. В. Максимов, “Реализация булевых функций с ограниченным числом нулей в классе дизъюнктивных нормальных форм”, Ж. вычисл. матем. и матем. физ., 53:9 (2013), 1569–1588; Yu. V. Maximov, “Implementation of Boolean functions with a bounded number of zeros by disjunctive normal forms”, Comput. Math. Math. Phys., 53:9 (2013), 1391–1409
Maximov Yu.V., “Simple Disjunctive Normal Forms of Boolean Functions with a Restricted Number of Zeros”, Dokl. Math., 86:1 (2012), 480–482
Максимов Ю.В., “Простые дизъюнктивные нормальные формы булевых функций с ограниченным числом нулей”, Доклады Академии наук, 445:2 (2012), 143–143
В. Л. Береснев, А. А. Евдокимов, А. Д. Коршунов, П. С. Краснощеков, В. К. Леонтьев, О. Б. Лупанов, Ю. Н. Павловский, А. А. Сапоженко, Ю. А. Флеров, “Юрий Иванович Журавлёв (к 70-летию со дня рождения)”, Дискретн. анализ и исслед. опер., сер. 1, сер. 1, 12:1 (2005), 3–11
М. К. Керимов, “К семидесятилетию академика Юрия Ивановича Журавлёва”, Ж. вычисл. матем. и матем. физ., 45:6 (2005), 949–953; M. K. Kerimov, “On the 70th Birthday of Academician Yurii Ivanovich Zhuravlev”, Comput. Math. Math. Phys., 45:6 (2005), 913–917
А. Г. Дьяконов, “Построение ДНФ последовательным перемножением”, Ж. вычисл. матем. и матем. физ., 43:10 (2003), 1589–1600; A. G. D'yakonov, “Construction of disjunctive normal forms by consecutive multiplication”, Comput. Math. Math. Phys., 43:10 (2003), 1529–1540
А. Г. Дьяконов, “Построение дизъюнктивных нормальных форм в логических алгоритмах распознавания”, Ж. вычисл. матем. и матем. физ., 42:12 (2002), 1899–1907; A. G. D'yakonov, “Construction of disjunctive normal forms in algorithms of pattern recognition”, Comput. Math. Math. Phys., 42:12 (2002), 1824–1832
А. Г. Дьяконов, “Тестовый подход к реализации дизъюнктивными нормальными формами булевых функций с малым числом нулей”, Ж. вычисл. матем. и матем. физ., 42:6 (2002), 924–928; A. G. D'yakonov, “Test approach to the implementation of Boolean functions with few zeros by disjunctive normal forms”, Comput. Math. Math. Phys., 42:6 (2002), 889–893
А. Г. Дьяконов, “Реализация одного класса булевых функций с малым числом нулей тупиковыми дизъюнктивными нормальными формами”, Ж. вычисл. матем. и матем. физ., 41:5 (2001), 821–828; A. G. D'yakonov, “Implementation of a class of Boolean functions with a small number of zeros by irredundant disjunctive normal forms”, Comput. Math. Math. Phys., 41:5 (2001), 775–782