едполагается, что в узлах схемы установлены базисные элементы. 2. Локальная оптимизация. Замена одних базисных логических операторов другими осуществляется путем анализа локальной области схемы. Поиск фрагментов и правила их замены другими может осуществляться с помощью экспериментальной системы. Так, например, устроена система LSS. Оптимизация МВ на логическом уровне представляет более простую задачу. На этом этапе обычно минимизируется число операторов f = k1 V . V kl - по существу число столбцов МВ. Минимизация числа строк происходит на этапе топологического проектирования. Подробно об