№ 2, стр.112-113 Изоморфные алгебры асинхронных логических схем

Citation preview

У дк

62-5:5s 1 .з:оо1

С. UИР ЛИ Н

Б.

•

ИЗОМОРФНЫЕ АЛГЕБРЫ АСИНХРОННЫХ ЛОГИЧЕСКИХ СХЕМ В

алгебраические свойства множества

[ 1] рассматриваются

аси нх ронных логических схеы одной и той же размерности. Определены две бин ар ные операции на этом множестве объединение и пересечен ие схем,

и унарн ая операция

ин­

-

версия . Хар а ктерн о, что введен ные операции , с одной сторо­ ны , имеют достаточно про зрач ную интер п ретацию, а с друrой­ в

совш< п; а, х , Ь , d- вектор -столбцы размер ности п , п, т1 , т 2 ;

-

где

ни ем ненулевого t-столбца, Ь

1ате 1ат ич еско го програ мми ­

(З)о

YEQsl

опе рация транспонирования.

Обозначим А =(а;) = ( ~ ) ,

i = 1, ". ,

т = т1 + т 2 ,

= 1, .. . ,п. исключе н ии и з ма триц А , а. переменной

При

цью строки

s (s
,

= r" = { 1,

помо­

№