130 67
Russian Pages [2] Year 1984
У дк
62-5:5s 1 .з:оо1
С. UИР ЛИ Н
Б.
•
ИЗОМОРФНЫЕ АЛГЕБРЫ АСИНХРОННЫХ ЛОГИЧЕСКИХ СХЕМ В
алгебраические свойства множества
[ 1] рассматриваются
аси нх ронных логических схеы одной и той же размерности. Определены две бин ар ные операции на этом множестве объединение и пересечен ие схем,
и унарн ая операция
ин
-
версия . Хар а ктерн о, что введен ные операции , с одной сторо ны , имеют достаточно про зрач ную интер п ретацию, а с друrой в
совш< п; а, х , Ь , d- вектор -столбцы размер ности п , п, т1 , т 2 ;
-
где
ни ем ненулевого t-столбца, Ь
1ате 1ат ич еско го програ мми
(З)о
YEQsl
опе рация транспонирования.
Обозначим А =(а;) = ( ~ ) ,
i = 1, ". ,
т = т1 + т 2 ,
= 1, .. . ,п. исключе н ии и з ма триц А , а. переменной
При
цью строки
s (s
,
= r" = { 1,
помо
№