Закревский А.Д., Торопов Н.Р. Полиномиальная реализация частичных булевых функций и систем

Минск: Институт технической кибернетики НАН Беларуси, 2001. — 200 с. — ISBN: 985-6453-71-2.При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не полностью определенных булевых функций. В 1995-1997 гг. в Институте технической кибернетики НАН Беларуси были проведены исследования по разработке практически эффективных методов, алгоритмов и программ для ее решения.
Полученные результаты опубликованы в серии научных стагей и обобщаются в настоящей книге.
Предназначена для студентов, аспирантов и специалистов в области проектирования логических схем.