Исследуется алгоритм выделения связанных подсистем из системы булевых функций. "Связанность"
функций заключается в наличии одинаковых частей в областях определения функций системы. Проведенные эксперименты показывают эффективность применения такого алгоритма при логической оптимизации системы булевых функций, которая осуществляется на основе разложения Шеннона с учетом
возможности использования инверсий подфункций. Применение предложенного алгоритма позволяет во
многих случаях увеличить быстродействие и уменьшить площадь комбинационных схем из библиотечных КМОП элементов.