Экономичный метод приближенной минимизации ДНФ булевых функций

Анотація

В рамках задач проектирования СБИС и с позиций оптимальности получаемых решений предложен метод минимизации булевых функций, основанный на параллельном выращивании интервалов, образующих решение. Метод включает процедуру систематической коррекции решения и позволяет минимизировать булевы функции, заданные как в виде совершенной ДНФ, так и в виде набора троичных векторов.