Cтраница 1
V-элемент, то на () - вход, а если Е - &-элемент, то на оба входа) подается выход некоторого инвертора Е0, на вход которого подается входная переменная. [1]
Поэтому выход V-элемента с наибольшим номером подается на вход инвертора. [2]
Обозначим через Е V-элемент схемы Sp, имеющий наибольший номер. [3]
Элемент (1.53) представляет односвязный инфинитезимальный операторный V-элемент. [4]
Далее, если u v-элементы из К, то элемент w - aV ( е, т) 1) следует и за а, и за v, так как любые два элемента из a, v, w порождают третий, но в силу выбора множества К ни один из элементов о и У не порождается предшествующими элементами. [5]
Значит в схеме Sp только последний V-элемент подается на вход инвертора. [6]
Обозначим через d число V-элементов в схеме Sp, а через s - число V-элементов схемы Sp, у которых на () - вход подаются входные переменные. Тогда выходы не более, чем d - s V-элементов подаются на () - входы V-элементов. Выходы остальных V-элементов ( а их не менее s) подаются на входы инверторов, так как в силу правильности схемы S, на ( -) - входы V-элементов выходы V-элементов подаваться не могут. [7]
Схема S состоит только из V-элементов. [8]
Элементы схемы 5, не являющиеся V-элементами и &-элементами будем называть инверторами. [9]
Поэтому выходы всех, кроме последнего, V-элементов схемы Sp подаются только на () - входы V-элементов. [10]
Схема S состоит из одного инвертора и и - 1 V-элемента. [11]
Таким образом, и в случае k 2 в схеме Sp только последний V-элемент подается на выход инвертора. [12]
Обозначим через Е элемент схемы Sm, имеющий наибольший номер среди V-элементов и &-элементов, выходы которых на наборе а находятся в состояниях 1 и 0, соответственно. [13]
Обозначим через Sd множество всех схем из S, содержащих ровно d V-элементов. [14]
Обозначим через d число V-элементов в схеме Sp, а через s - число V-элементов схемы Sp, у которых на () - вход подаются входные переменные. Тогда выходы не более, чем d - s V-элементов подаются на () - входы V-элементов. Выходы остальных V-элементов ( а их не менее s) подаются на входы инверторов, так как в силу правильности схемы S, на ( -) - входы V-элементов выходы V-элементов подаваться не могут. [15]