Декомпозиция системы неполностью определенных булевых функций, заданных диаграммой двоичного выбора

Предлагается метод декомпозиции системы неполностью определенных булевых функций, представленных в виде диаграммы двоичного выбора. Минимизация числа промежуточных функций при такой декомпозиции ориентирована на увеличение быстродействия логических схем из библиотечных элементов. Особенностью метода является то, что после декомпозиции (разрезания) исходной диаграммы двоичного выбора один из двух блоков разложения представляется в виде системы ДНФ.

Статья представлена к публикации членом редколлегии: А. А. Лазарев