Подробное описание документа
Гурченков А. А.
Автоматизация задачи определения сложности булевой функции / Гурченков А. А., Егорова Е. К. - DOI 10.18698/2308-6033-2014-5-1324 // Инженерный журнал: наука и инновации. - 2014. - № 5. -
Основной задачей теории декомпозиции булевых функций являются разработка и исследование методов разложения произвольной булевой функции, зависящей от большого числа переменных, на систему функционально связанных булевых функций, каждая из которых зависит от меньшего числа переменных. С задачей декомпозиции тесно связана задача минимизации булевых функций, т. е. задача о нахождении такого аналитического представления функции, при котором число букв в нем минимально. Рассмотрена задача синтеза дискретных управляющих систем на основе формул. Разработан метод синтеза булевых формул, предназначенный для эффективного построения схем из функциональных элементов, в том числе и для схем минимальной сложности. Полученный алгоритм может быть реализован с помощью параллельного программирования.
