Cтраница 3
Сравнивая структуры (1.38), (1.67) и (1.68), можно заметить, что в диаграммах связи как локальной, так и субстанциональной формы баланса полевой величины наглядно проявляется их общая топологическая особенность. Диаграммы состоят из двух многосвязных слияющих структур, разделенных двухсвязным операторным V-элементом. Левая 0-структура отражает взаимодействие потоков обмена между выделенным объемом и окружающей средой, а правая 0-структура вскрывает все потоки, действующие внутри выделенного объема сплошной среды. [31]
Обозначим через d число V-элементов в схеме Sp, а через s - число V-элементов схемы Sp, у которых на () - вход подаются входные переменные. Тогда выходы не более, чем d - s V-элементов подаются на () - входы V-элементов. Выходы остальных V-элементов ( а их не менее s) подаются на входы инверторов, так как в силу правильности схемы S, на ( -) - входы V-элементов выходы V-элементов подаваться не могут. [32]
Итак, доказано, что произвольная минимальная схема SM для К - в базисе Bit состоит из двух инверторов и п - 1 V-элементов. Очевидно, что последний элемент схемы SM - инвертор, так как иначе бы на один вход V-элемента подавалась бы функция, существенно зависящая от п переменных, для реализации которой достаточно двух инверторов и п - 2 V-элементов. [33]
Итак, доказано, что произвольная минимальная схема SM для К - в базисе Bit состоит из двух инверторов и п - 1 V-элементов. Очевидно, что последний элемент схемы SM - инвертор, так как иначе бы на один вход V-элемента подавалась бы функция, существенно зависящая от п переменных, для реализации которой достаточно двух инверторов и п - 2 V-элементов. [34]
Обозначим через d число V-элементов в схеме Sp, а через s - число V-элементов схемы Sp, у которых на () - вход подаются входные переменные. Тогда выходы не более, чем d - s V-элементов подаются на () - входы V-элементов. Выходы остальных V-элементов ( а их не менее s) подаются на входы инверторов, так как в силу правильности схемы S, на ( -) - входы V-элементов выходы V-элементов подаваться не могут. [35]
Обозначим через d число V-элементов в схеме Sp, а через s - число V-элементов схемы Sp, у которых на () - вход подаются входные переменные. Тогда выходы не более, чем d - s V-элементов подаются на () - входы V-элементов. Выходы остальных V-элементов ( а их не менее s) подаются на входы инверторов, так как в силу правильности схемы S, на ( -) - входы V-элементов выходы V-элементов подаваться не могут. [36]
Обозначим через d число V-элементов в схеме Sp, а через s - число V-элементов схемы Sp, у которых на () - вход подаются входные переменные. Тогда выходы не более, чем d - s V-элементов подаются на () - входы V-элементов. Выходы остальных V-элементов ( а их не менее s) подаются на входы инверторов, так как в силу правильности схемы S, на ( -) - входы V-элементов выходы V-элементов подаваться не могут. [37]