Вы находитесь на странице: 1из 28

О СИНТЕЗЕ КВАЗИБЕСПОВТОРНЫХ СХЕМ

Н. Ю. ПНЛЬЧ�R
(MOCRBA)

Введение

В работе Б� А. Трахт ен бро т а t 1 ] и зл а га е т с н мето д с интеза беспо вт о р­


ны х конта ктных СХJЭМ, т. е . схем, в ноторых с каждым реле связан тольно
о ди н (л и бо з амынающий , либо размыкающий) н онтант. П остроение бес­
повто рной схемы разбивается на два этапа : 1) последов ательное выделение
всех ее подсхем (в частности , параллельно и последовательно соедине н­
ных контантов) и замена наждой таной подсхемы одним новым нонтактом,
2) синтез неразложимой схемы. П ри этом широно и спо льзуются топологи­
ческие свойства подсхем и их связь с о свойствами фуннции , ноторую тре­
буется реализ ов ать.
Метод Б. А. Т рахтенброта допуснает обобщение на случай схем,
в 1юторых с 1шждыl\1 реле может быть связан один размьшающий и один
замын ающий нонтант (но не обязательно оба) . Такие схемы мы будем
в дальнейшем называть нвазибесповто рны:ми .
Распространение :метода синте за бесповторных схем на юзазиGее­
повторные основано на том простом соображении, что если в ква зибес ­
повторной схеме замынающие и размьшающие 1шнтанты условно рас­
с.матрива ть нан независимы е, то она превратится в бесповторную. Од наюJ
при осуществлении этой простой идеи вознинает целый р яд труднос т е й.
Дело в том , что , нан доназывается в [ 1] , все бесповто рные схе.мы,
реал из ую щие да нную ф уннцию f (х1, , xn) , :иl\lеют одн и и те же ц е п п 11
• • •

неразложимые подсхемы . в силу этого все они имеют


о дну и ту ж е дизъЮНI{ЦИЮ проводимостей цепей (дизъ­

юющию проводи м остей: мы в да л ьнейшем будем на­
зьшать фо рмулой проводимости схемы) , а именно
СО}{ращеиную дизъюнктивную норl\Iальную форму
(со кращен ную д. н. ф.) фунн ции f( x1 , ···' xn) · Для
1шазибесповторных же схем это св ойство нарушает­
с я . Так , нап риме р , ф о рмуJiой проводимости схемы 1
явл я ется xyzViYzVyz*) , а сонращенной нормаль­ Схема 1.
ной формой этой фуннц:пи яв л яется ху V xz \1 yz.
Больше того , ту же фуннцию реализуют и схемы 2 и 3, причем сонращеп­
ная д. н. ф . является формулой проводимости схемы 2.
Существуют таюне нвазибесповторные схемы, ре ализующие та к и е
фуннции, сокраще н�ые д. н. ф . которых не являются формулами прово-

*) В формулу про в одимо с ти нвазибесповторных схем мы, естественно, не внлю­


чаем проводим ости цепей, тождестве нно равные О.
Б. Ю. ПИЛЬ ЧАН

димости никаких квазибесповторных схем (наприl\юр, схема. 4; со1�ращен­


ная д. н. ф. реализующей ее функции есть xz V уи 'v y z).
Таким образом, если в классе бесповторных схем аадс�.чн о построеюш
схемы с заданной функцией проводимости и с заданноii формулой прово­
диl\юсти фактически совпадают, то в 1шассе 1-шазпбеспоnторпых cxel\1 этн
задачи существенно отлп чаются друг от друга.
Второе существенное отличие квазибесповторных cxcl\1 от беспо­
вторных состоит в следующеl\I. Пусть 5\-схема, содержащая iюдсхему Г.
Обозначим через S2 схему,
полученную из S 1 путеы
зюнены подсхемы Г однн:\I z z

!/ !/ l1

Схема 2. Схе:\Ш 3. Схема 4.

ре бром, которому приписан символ q, отличный от всех символов,


встречающихся в S1 (рис. 1). Пусть, далее, /1-пртiзвольная д. н. ф.
Обозначим через /2 д. н. ф., полученную из /1 путем замены всех ее сим­
волов, входящих в Г (есш1 та�ше существуют), символом q п пос..педующпх
сокращений: вида:
�� �; � v �
= �; �{� v �
== = �{.
Леи�о ПОIШЗать' что если s 1 бесповторная cxel\Ia' то t 1 является ее форму-·
лoii: пронодиl\I ости тогда н т алыш тогда, когда f 2 явлнется формулой про ­
водимости схемы S". И1'шнно
этот фа l�T дает ВО:Jl\Ю;ЮЮСТЬ ве­
сти синтез бесповторной схемы
z путеl\1 пос.ледовательного нахож-
дения ее подсхеl\,r. Между тем,
нак видно из рис. 1_, для нвази­
бесповторных схе:м это неверно:
/1 ==Xll \,I XYll VXZU vxyz ЯВЛЯеТСЯ
Рнс. 1. формулой проnодимост:и схс-
1\'lЫ Sl' но f2==xиVxqиVxyz не
является форl\I улой проводимости схемы S2• Чтобы f 2 можно было рас­
сматриват ь в какоl\I-то смысле кан форl\Iулу проводимости схемы S2, не­
обходимо рассыатривать q не KaI{ независимый си.мвол, а нан символ,
котороl\Iу приписана проводимость у v z. Это соображение приводит нас
к обобщению понятш:� реалпзуеl\lости-1-\ понятию К-реализуемости (см.
определение 2.3).
В настоящей работе описывается :метод синте�Jа 1шазибесповтор-
ных схем. Описание пропзводптся в два приема: сначала опнсыnается син­
тез схем с данной форl\Iулой проводимости, затем-приемы преобразования
сонращенной д. н. ф . не1шторой фуннц:ии н. формуле проводиыости реа­
лизующей ее нваз:ибесповторной схемы. Выделение ен н т с а а ехем с данной
формулой проводшности произведено в данной етатье талыш для облег­
чения изложения, в действительности преобразоuашш сонращонной
д. н. ф. и синтез cxel\Iы осуществляются параллельно.
В § 1 устанавливаются условия, при 1юторых пара символов
(т. е. знаков булевых переменных или их отрицаний) д. п. ф . �(может быть
приписана параллельно или последовательно соединенным ребрам н.ва­
зпбеспонторной схемы S с формулой проводимости �{, а танже условия,
О СИНТЕЗЕ НВАЗИБЕСПОВТОРНЫХ СХЕМ 97

при ноторых данный набор символов может быть приписан ребрам неко­
торой подсхемы схемы S.
Приводятся вспомогательные понятия вполне внутренней звезды
(в. в. з.) и ядра сх�мы [1]; выясняется, при наних условиях набор
символов может быть приписан ребрам вполне внутренней звезды
схемы S.
В § 2 рассматриваются понятия К-проводимости и К-реализуемо·сти,
являющиеся обобщениями понятий проводимости и реализуемости.
В § 3 описывается метод синтеза нва3ибесповторных схем с заданной
формулой проводимости; приводятся два примера: в примере 1 стрqится
схема с заданной формулой проводимости; в примере 2 доказывается,
что данная формула не является формулой проводимости нвазибесповтор­
ной схемы (хотя, нан поназано в § 4;· пример 4, рассмотренная в примере 2
фуннция допуснает нвазибесповторную реализацию*)).
В§ 4 вводятся Понятия К-веса формулы и К-понрытия члена д. н. ф.;
при помощи этих понятий описывается :метод преобразования д. н. ф.,
�шторый приводит н синтезу нвазибесповторных схем, реализующих уна­
занную фуннцию. Приводятся ;цва. примера.

§ 1. Связь между топологическими свойствами подсхем и свойствами


формулы проводимости квазибесповторной схемы

1. Мы будем: предполагать известными следующие понятия: схе:м . а


(двухполюсная, сильно связная); цепь схемы; подсхема **) (двухполюс­
ная***), сильно свяаная); разложимая и неразложимая схема (см., напри­
мер, [ 1] и [2]).
Rак известно, две фующии называются ортогональными, если их
:конъюннция тождественно равна нулю. Поэтому символы булевой пере-
менной х и ее отрицания х будем называть ортогоl-lа"л ьl-lыми символами,
а ребра схемы, ноторым приписаны ортогональные с имволы - орто г о-
1-tальl-lыми ребрами. Ортогональные символы считаются различными.
Схема называется "fiвааибесповторной, если различным ее ребрам
приписаны различные символы (пары ортогональных ребер допуснаются).
Проводимостью цепи схемы называется нонъюннция всех символов,
приписанных ее ребрам. Формулой проводимости схемы называется
дизъюнкция всех тех· проводимостей ее цепей, ноторые не равны нулю
тождественно.
В дальнейшем: для единообразия записи символы б удем представлять

{
в виде ха, .где а==О; 1 и
х при а== 1,
ха=
х-
при а= О.
Иногда для нраткости символы будем обозначать через а, Ь, с, ... (вместо
ху1, х�2, х�з, ... ) . Кроме
того, мы будем отождествлять ребра схемы с при­
_
писанными им символами, цепи-с соответствующими им нонъюннциями
11 т. n. В этом смысле мы иногда будем говорить о проводимости нонъюнн­
ции и о пересечении формулы с подсхемой или набором ребер из схемы
(имея в виду при этом пересечение множества символов, встречающихся
в данной формуле, с множеством символов, приписанных ребрам данного
набора или данной подсхемы).

* ) Формулу пр оводимос ти схемы нельзя путать с функцией, которую эта схема

р�ализует, - первая �шля ется то лько одной из д. н. ф. функции проводимости.


* *) :К числу подсхем �1ы будем относить и всю схему.
*** ) Полюсом подсхемы называется тот ее узел , который является либо полю­
сом всей схемы, либо общим нонцом ребра, входящего в подсхему, и ребра, не вхо­
дящего в нее.

7 Проблемы нибернетини, в. 3
98 Б. Ю. ПИЛЬЧАН

2. Во введении уже отмечалось , что все сильно связные беспонтор­


ные схемы, реализующие данную функци ю , имеют один и тот же набор
неразложимых подсхем (если любую пару последовательно соединенных
ребер условно считать подсхемой) . :Как поназывают схемы 1 -3, для нва­
зибесповторных схем это неве рно . Тем не менее удается, установить необ­
ходимые (но, в отличие от бесповто рных схем , не достаточные) условия,
при которых данный набор символов может быть приписан ребрам наной ...
нибудь неразложимой подсхемы квазибесповторной схемы с заданной
формулой проводимости , в частности , последовательно или параллельно
соединенным ребрам . :Кроме того , нами сформулированы достаточные ( но
не необходимые ) условия параллельности ребер .
П режде чем фо рмули ровать все эти условия, сделаем одно замечание
и отметим нескольно свойств формул проводимости нвазибесnовторных
схем . Пусть д . н . ф .
�1 V %{2 V V �m · · · (1 . 1 )
фуннции f(x1, , хп) является фо рмулой проводимости нено т орой нвази­
• • •

бесповторной схемы S. Конъюнкции формулы проводиl\lости будем рас­


сматривать с точностью до порядна входящих в ни х симвоJ1ов .
3 а м е ч а н и е . Без ограничения общности можно считать, ч то :
· а ) ортогональные ребра схемы S не соединены параллельно;
б ) все символ ы , приписанные ребрам схемы S, встречаются в форму"т�е
( 1 . 1) и , следовательно ,
в) ортогональные ребра схемы S не соединены последователь н о.
Из этого замечания вытенает , в частности, что при синтезе нвази­
бесповторных схем с формулой проводимостп (1.1) можно ограничиться
рассмотрением тольно входящих в нее сиl\lволов, а на параллельн ость
и последов ательность исследовать толь.н о те пары символов, которые
не являются ортогональными .
Формул а проводимости сильно связной нвазибесповторной схемы,
не соде ржащей па раллельных ортогональных ребе р, обладает следую­
щими свойствами :
1 ) она не допуснает сонращений вида Q3 \j Q3 Q3 .И погл ощен ий ви да
� � V 52( S2'f (так нан каждая цепь учитывается только одпн раз и так
=

===

нан цепь не имеет самопе ресечений) ;


2) если она соде ржит хотя бы одну пару к онъюн к ций aQ) и bSJ.), то
она не содержит нонъюннции вида аЬ�, и для веяной нонъюющии а>-81
должна существов ать к онъюннция Ы�\, если тольно Ь и >.81 не ортого­
нальны (это свойство вытекает из условий параллельности р ебер нвази-
бесповторно й схемы); _
3) она не допуснает тривиальных . с нлеиваний вида aQ) V aSJ.) QJ ===

(следует из условий па раллельности и из того , что ортогональные ребра


не па раллел ьны) .
3. Условия параллелы-tост и . Лег к о пон.азать, что:
Для того чтобы ребра а и Ь были параллелы-tы в квазибесповторl-lой
схеме (с формуло й прово д имости ( 1 . 1 ) ), J-lеобхо димо, чтобы ( 1 . 1) не содер­
жа.ла К,01-lЪЮl-lК,Ций вида а Ь5.В' а конъюнк,ци и вида а5.В и ь � со держала бы
oдl-loвpeмel-ll-lO, за и сключепием случая, когда oдl-la из этих конъю1и-щий
тождествеl-ll-lО paвl-la 1-lулю. Нал ичие хотя бы о дl-lо й пары коl-lъютщий а>.В
и Ь� при выполl-lеl-l и и J-lеобхо диМЫХ условий параллеЛЪl-lОСти ребер а и Ь
я вляется достаточl-lым условием их параллельl-lости в любой квазибес­
повто рl-lо й схеме с формулой прово ди.мости (1 . 1) (есл и такая схема суще­
ствует), а при 1-lарушеl-l и и J-lеобхо димых условий параллельl-lост и этих
ребер свидетельствует о том, что (1. 1 .) не является. формулой проводи мо­
сти 1-lикако й квазибесповторl-l ой схемы .
О СИНТЕЗЕ RВАЗИБЕСПОВТОРНЫХ СХЕМ 99

Выполнение же rолько первых двух условий, в отличие от случая


бесповторных схем, не является достаточным: для параллельности.
Так, напри1'шр, символы х и z в формуле проводимости схемы 1 удов­
летворяют условию параллельности, но соответствующие им ребра не
параллельны.
4. Условие последователы-�ости. Очевидно, что:
Для того, чтобы ребра а и Ь были последователы-tо соедш-tеl-lЫ в квази­
бесповторl-lой схеме S, 1-lеобходимо, чтобы всякая кЬl-lЪЮl-lКЦия, входящая
в формулу проводи.Аtости схемы S, либо содер­
жала оба эти ребра, либо 1-le содержала 1-lи од-
1-lого из 1-lих.
Для бесповторных схем это условие явля­
ется и достаточным, для нвазибесповторных- у у
нет. Например, д. н. ф. xyvxy является фор­ Схема 5.
мулой проводимоети cxel\IЫ 5. Ребра х и у
удовлетворяют ун:азанно:му условию, но не соединены последо ва-
тельно.
3_ а м е ч а н и е. Может случиться, что необходимому условию
параллельности удовлетворяет неснолько пар символов, но соответствую­
щие им ребра не могут быть параллельными одновременно. Например"
условиям параллельности в формуле проводимости схемы I удовлетво­
ряют две пары символов: {х, z} и {у, z}, причем ребра х и z параллельны
только в том случае, �огда в схеме имеются (топологичесние) цепи, соот-
ветствующие нонъюнкциям zyz и хух. Однано наличие таних цепей сви­
детельствует о том, что ребра у и z не могут быть параллельными, тан кан
они входят в одну и ту же топологичесную цепь.
Аналогично может существовать неснольно пар символов, удовле­
творяющих условию последовательности, ноторые не могут быть соеди­
нены последовательно одновременно. Нанонец, предположение о последо­
вательности одних ребер может противоречить предположению о парал-
лельности других. .
Две пары· ребер, наждая из которых удовлетворяет необходимыl\1
условиям параллельности или последовательности, называются совмест­
nыми (1-lесовместl-lыми), если они могут (не могут) одновременно удов­
летворять этим условиям.
Множество пар ребер называется совместl-lой системой пар, если все
пары этого множества попарно совместны.
5. Условие того, что подграф * ) может образовывать подсхему (свой­
ства подсхем). Для формулировни свойств подсхемы Г нвазибесповтор­
ной схемы S нам понадобятся следующие обозначения, аналогичные обо­
значениям, введенным в [ 1].
Через fг обозначается формула; ноторая получается из формулы
проводимости схемы S путем вычернивания символов, не входящих в Г"
и последующих упрощений вида � V �
·

�I.
:Каждая нонъюннция �i формулы проводимости схемы S разбивае·тся
==

на две: нонъюннцию �i тех и тольно тех символов, ноторые входят в Г,


и нонъюннцию 9!i' остальных символов (если �i не пересенается с Гили,..

наоборот, все члены �i лежат в Г, то мы полагаем соответственно �i. == 1�


или �i =-.· 1). Выбирается член �Р пересенающийся с Г, т. е. таной,.
что �i =/= 1. Через � t �ik обозначается дизъюннция всех различных '21i&
т и ,
ак х
что �ik сов адает с
п
�7. ·

*) Под подграфом, точнее - подграфом схемы, в настоящей работе· понmrает­


�я любой набор ребер схемы.

7*
100 Б. Ю. ПИЛЬЧАR

Легно показать, что:


Если Г - подсхема схемы S, то
1) для любой кон/ьюпкции �t' входящей в формул у проводи.мости схем ы
S и пересекающейся с Г, формула �t�,{ik содержит все конъюпк ци и из fг,
.аа исключепие.м тех, которые ортогоl-lальl-lы фуl-lкции �'t' *);

Схема 6. Схема 7 .

2) фор.мула fг либо совпадает с формулой прово д и.мости 5.Вг подсхемы Г,


либо- является частью этой фор му л ы * *) (т. е . �г сод ер жит в се нонъюнк­
ции из fг) и , следовательно; fг 1-le· до пус кает тривиалЬl-lых поглощений
2l>SV� � ***). =

В ыполнения этих свойств танже недостаточно для того, чтобы Г был


подсхемой. Например, подграф Г {х1, х2, х3} схемы 8 яв.Ляется схемой
=

с формулой проводимости �г х1х3 V х2х3; этот =

подграф обладает обоими свойствами подсхем ,


но не является подсхемой схемы 8.
3 а :м: е ч а н и е. Свойства подсхемы Г
схемы S позволяют толыю путем выноса за
скобни и, возможно , добавления нонъюннций,
то ждественно равных нулю, преобразовать фор ­
мулу пров одимости схемы S R виду
5.8г�1 V �2' ( 1.2)
Схема 8.где �г-формул а проводимости Г, а �1 и� 2 -
д.н. ф . , не пересенающиеся с Г.
Это обстоятельство играет очень б�шьmую роль при синтезе квази­
бесповторны х с хем: если принимается предположение о том , что Г яв­
ляется подсхемой синтезируемой схемы , и эта подсхема заменяется новы м
ребром q, то дальнейшему исследованию подвергается формула, получен­
ная из (1.2) путем замены �г символом: q и раснрытия снобон (подробнее
об этом см. § 3) .
6. Для проверни второго св ойства подсхем, а тан же для построения
в сей схемы необходимо знать, нан соединены между собой ребра из под-
* ) Для любого подграфа и д ля любой 5Лt формула �t5Лik содержи т тольно конъ­
юннции, входящие в f г· Заметим танже, что, в отличие от бесповторных схем, в нва­
зиб есповторны х схе ма х г необходимо сравниват ь с
f k при �t�i
всех t, так IШR суще-

ств у ют подграфы (не являющиеся, естественно, подсхемами) тание, что fг при одних t
отличается от �t�ik толыш членами, ортогональными �'i, а при других-не толь­
но таними ч ленам и (наприм ер, подграф Г={х1, хз, х4, xs } схемы 6).
**) Примером подсхемы Г, для которой не совпадае т с fг 5Бг, является. под-
.схемаГ={х1, х2, �3, х4, xs } схемы 7.
***) Во втором свойстве подсхем отмечено лишь одно из перечисленных выше
свойств формул проводимости, .таR ню� ос�альные свойства выполняются автомати­
чески для любого под графа; уназанное своиство не выполняется, например, для под ­
Г={х3, х4, х5} схемы 6.
·

_
графа
О. СИНТЕЗЕ НВАЗИБЕСПОВТОРНЫХ СХЕМ 101

графов, обладающих пе рвым свойством подсхем. Для выяснения этого


воспользуемся понятием ядра схемы, введенным Б. А. Трахтенбротом [ 1].
Грубо говоря , ядро схемы-это то , что останется от схемы, если из
нее удалить полюса все х ее подсхем (в частности , полюса самой схемы)
и все ребра , ноторые после этого оназались одиночными , т. е . не соеди­
ненными с другими ребрами . Точное
z
определение ядра приводится ниже.
Назовем звезду * ) схемы вполне � .z·�z �
внутреппей (в . в . з . ) , если ее центр не
является полюсом никаной подсхемы.
О п р е д е л е н и е 1 . а) Ядро схе -
мы, не имеющей в . в . з. , пусто . б) П усть
zl' . . . , Zk-совонупность всех в . в . з . схе-

мы S. Тогда ядром схемы S называется !/
aJ oJ
фигура , построенная следующим об ра­
зом: центры в . в . з . изобразим на пло- Ри с . 2 .
скости произвольными точна м:и а 1, , ak;
ребро , принадлежащее звездам Zi и Zj-отрезном , соединяющим точни
•••

ai И aj; ребро , Принадлежащее ТОЛЬНО ОДНОЙ В.В.З. Zi (та�ше реб ра МЫ


будем называть концевыми ребра.ми ядра) - отрезном , одним нонцом ното­
рого является точна ai, � другим: - дроизвольная точна пл осн ости , о.т ­
личная от точен а1, . . . , ak .
П р и м е р ы. Я др а схе м 1 и 2 пусты; ядра схем 3 и 4 изобр ажены
на рис . 2, а и 2, б еоответственно; у ядра схе мы 3 все ребра нонцевые,
у ядра схе мы 4 концевыми являются все ребра, :кроме ре бра х.
Ядро схемы может распадаться на неснольно связных номпонент
(наприме р , ядро схемы 3 состоит из двух связных но м понент) . О чевидно ,
что, кроме пар п араллельных ребер , неразложимую подсхему могут обра-
зовывать тольно ребра , составляющие связную номпоненту ядра . .
В следующем пуннте выделяются свойства в . в . з . к вазибесповторной
схемы.
7. Условия, при к,оторых подграф может быть вполне впутреппей
звездой (свойства в.в.а.). В [1] выделяются три харанте ристичесние свой­
ства в . в . а. бесповторных схем. "Учитывая , что в нв азибесповторных схе­
мах проводимости некоторых цепей могут быть тождественно равны
нулю , получим:
Для того, чтобы подграф Z { а 1 , а2,
=== , ат} квааибесповторпой схемы
• • •

с формулой проводимости � =И1 V �2 V . . . V � 1 был вполне внутренней


звездой, 1tеобходимо, чтобы:
1) каждая конъюнкция \11j (j==1, 2, . . . , l) содержала либо два ребра
из Z, либо ни одного;
2) любая пара неортогональных ребер ai1, ai2 Е Z содержалась в какой­
нибудь кошьюю�ции �j' за исключением, возможно, случая, когда в допол­
нении к подграфу Z содержится ребро, ортогопальное одпому из этих
ребер, или пара ортогональных ребер;
3) любое ребро, не входящее в Z, содержалось в какой-нибудь конъюнк­
ции �j' за исключением, возможно, случая, когда в дополнении к Z имеет-
ся пара ортогональных ребер. ·

Эти условия , н ан и все предыдущие , не являются достаточными (им


удовлетворяет, например , звезда Z1 {х, у, z} схемы 9, не явл яюща яс я
=

вполне внутренней , и подграф Z2 {х, у, z} схемы 10, вообще не являю­


=

·щийся звездой). ·

*) Звездой называется совокупность в се х ребер схемы , имеющих один и тот


же узел а (це нтр з в езды).
102 Б. Ю. ПИЛЬ ЧАН

Для уменьшени я перебора при выделении подграфов , котор ые могут


быть вполне внутренними звездами сильно связной нвази бесповт орной

il

z
и

!/ и
-
и и
� - U/
.

Схема 9. Схема 10.

схемы с фор мулой проводиl\Iости �' можно использов ать следующие


соображения:
а) две вполне внутренние звезды схемы содержат не более одного
общего ребра;
б) если r-число различных символов д . н . ф . �С то число µ ребе р
вполне внутренней звезды удовлетворяет условию

µ < ; + 1, (1.3)
а в с х емах, не соде ржащих последов ател ьно соединенных ребе р , кроме
т ого , µ > 3 *). Эти о ценни вытекают из чисто топологических соображений.
Действительно, из сильной связности схемы и из того , что через
каждое ребро , не входяшее в в . в . з . Z, проходит топологическая цепь
( см. [ 1]) , выте к ает, что к каждому полюсному ** )
cz,a�µa
az а- аµ-1
· · · · ·· ·
·
(внутреннему) ребру ai звезды Z прим�нает по
Rрайней мере одно ребро (дв а ребра), не входя-
щие в Z. С ледов ательно , минимальной схемой,
.; содержащей в . в . з . Z {а1, . . . ,аµ} с центро м а ,
является схе м а 1 1 . Неравенство ( 1 . 3) вытекает

Схема 1 1. из того , что числ о ребер схемы 1 1 не превы ­


шает r.
3 а м е ч а н и е . Понятие совместных (несовместных) систе м пар
ребер естественным образом распространяется на системы произв ольных
подграфов и на условия , при которых эти подграфы могут быть подсхе­
мами или в . в . з . Совмесml-lой системой подсхем (в.в.а. ) называется совокуп­
ность подграфов , ноторые однов ременно обладают свойств ами подсхем
(в . в . з . ); вовсе не обяз ательно :каждый из этих подграфов действительно
является подсхемой (в . в . з . ) .

§ 2. К-проводи мо сть и К-реализуемость

1. l\ак уже отмечалось во введении , для того чтобы обосновать син­


те з кв азибесповторных схем методом выделения подсхем и замены каждой
из ни х новым ре бром, необходимо обобщить по нятия проводимости и
реализуемос ти . Таним обобщениями явллютсл по нятия К-проводимости
и К-реализуемости.

* ) Фигурирующее в [ 1] неравенство µ(µ-1)<2(r1-1), где r 1 - число конъюн-


1щий формулы проводимости, для квазибесповторных схем не сохраняется (с м.
например, вполне внутреннюю звезду Z={x, и, �} схемы 9), так как оно основано
на том, что в бесповторной схеме число топологических цепей совпадает с числом
конъюнкций формулы проводимости.
**) Ребро схемы называется полюсным (внутренним), если оно инцидентно (не
инцидентно) полюсу схемы.
О С И Н Т Е ЗЕ НВАЗИБЕ С П О В Т О Р НЫ Х С Х ЕМ 103

Пуеть ребрам схемы S припис а н ы булевы перемен н ые х1, , хп • • •

(J.
илп их отрица ния (возмо жн о , не все символы Xi (i 1 , 2, ... , п) при­ 1 =

а.
писаны ребрам схемы S). На ж дому ребру ai , a i xi схемы S пост авим = 1,

в с оот ветствие произвольную булеву фу нк цию <])а. (х1, , х11), н о т ан , i


• • •

что еслп xi Е S и xi Е S, то
<rx:-(x1, ... ' хп) == ep x i (х1, xrJ
L

Мн о ж ес т во этих фун нций обозн ачим через К.


О п р е д е л е н и е 2.1. К-прово димо стью ребра а (a==Xj1) схемыS на-
(J.

з ы вается ф у ннция ера (х1, ... , х11) Е К; К-проводимостью цепи у н а з ы­


в ается к онъюющия К-проводимос тей всех ее ребер ( обоз н а ч ается через
<ру(Х1, ... ' хп)).
Оп р е д е л е н и е 2.2. Формулой К-п ро води.мост и схемы S н а зы ­
ва ется д изъю н нция проводим ост ей *) всех ее цепей у, для к от орых
<ру ( х 1 ,•
, хп) $О.
. •

П р и м е р. Пу ст ь ребр а м схемы 82, изображен ной на рис. 1, сопо­


ст анлены фуннции ерх (х, у, z, и, q ) =х; ери (х, у, z, и, q) =и;
cpq (х, у, z, и, q ) =у V z; ср-(
у
х, у, z, и, q) ==у; ep:z (х, у, и, z, q) = z.

П ров одим о сть цепи у= {х, q, у, z} рав н а х q у z; К-проводимость ее:

<ру(х, y,_z:_, u:_q) = 3_(JVz)yz-::::::..O; формула проводимости с� емы St


хи \/ xqyz V хqи V x yz; формула К-проводимости э т ой схемы хи V хqи V xyz.
Фуннции ер а. (х1, ..., хп) из множества К могут пр и писываться
х.i
i ·

не р ебрам наной-нибудь ноннретной схемы, а символам к акой-нибудь


формул ы , з адающей фуннцию f (х1 , ..., хп)· В этом случае мы будем
го ворить о К-провод и.мо сти символа или К-проводи.мос ти КО1l'ЬЮ1-uщии . � i
( по ни мая п од послед н ей конъю н нцию К-проводимостей всех символов ,
вход я щих в. �fJ.
О п р е д е л е н и е 2.3. Схема S К-реализует функцию j (х1, ..., хп),
если f (ерх1 (х�, ..., х�), ... , ерхп (х�, ..., х�)) = 1 при тех и т оль но тех н а ­
бор ах з н ачений х�, ..., х�, при ноторых существу ет цепь у т аная, что
ер у (х�, . . . , х�) == 1.
Ясно, чт о в е яная схема К-ре ализует свою формулу К- проводимости .
О б оз н а ч и м ч ерез К 0 множес тво фун нци й ер а. (х1, ..., xn) =x�i.
) х. 1.
i i

К 0 -проводимостью наждо го ребр а яв л яется приписа нный ему сим-


вол, следователь н о, проводимость цепи, форму л а прово димости схемы ,
реализуемость фуннции являют с я ча стными слу ч а ями К-проводимости
и К- реализ уемости.
Фуннции f1 (х1, , хп), f 2 (х1 ,
• . • , хп) , . . . , j k (х1,
• • • , хп) на зыв аются • • •

К -о ртогомлЬllы.м и в совокупности , если


f1 (epxl' ... ' ерхп) f 2 (epxl' ... ' ерхп) .../ k (ерхр ... ' ер хп) = о.
В ч а ст н ост и , две конъюнкции К-ортогопальны, если их К-проводи­
мости орт о г он альны .
Символы (ребра) а1, , a k ( ai =xfj ; i-== 1 , ... , k; j < п) на зыв аютс я
• • •

К-ортогональNы.ми в совокупиости , если их проводимости К-орто г он аль­


ны в совонупности.

*) Именно проводимостей, а не К-проводимо стей.


104 Б. Ю. П ИЛЬ ЧАН

2. Нетрудн о усмотреть , что все свой с т в а и у словия , ра с смотре нны е


в § 1, относятся к любой К-п р оводимости: все утверждения, кро�tе
условий, при которы х подграф .может быть в.в.з., остапутся верны­
.ми, если в ни х слова «проводи.мосты, «ортогональность», «конъюнкци.с�,
тож д ественно равная нулю» за.лtенить соответственно , слова.мz� «К-про­
водимость», «К-о ртогональностЫ>, «конъюнкция, К-проводимость которой
тож д ественно равна нулю». Неснолыю усложняютсЯ условщ�, при но­
торы х подгр аф может быт ь в . в . з .: пара не К-ортогональных ребер
в. в. з. .может не входить совместно ни в /lакую конъюющию из фор.му­
лы К-прово ди.мости, если вне этой звезды есть набор ребер, К-ортого­
нальных в совокупности между собой или одно.ktу из этих ребер; ребро ,
не входящее в в.в.з., .люжет не содержаться пи в одной конъюнкции из
фор.мулы К-проводи.мости схемы, если вне этой звезды есть набор ребер,
К -ортогональных в совокупности .
3. Р ассмо трим произ вольну ю функцию j 1 (.т1, ..., хп).
Пусть:
1) sl - нваз ибесповторная с хема, - ребр-ам :которой приписаны симво-
лы и з множест ва М = {х1, ..., хп, х1, ..., хп} (возмо ж н о - н е в се эти сим­
волы), Г -- подсхема S1, а 82 - с х ема , полученн ая из S1 путем замены Г
одним р ебром, которому приписан символ q � М (см . , например, рис. '1):
2) фун кци я /1 (х1, , хп ) может быт ь в ы ра ж е н а фор м улой
• . •

�г (х1, ...' хп) �1 (х�- . - ..' хп) v.�2 (х1, ... х п) , (2.1) '

где �г (х1, . . . , · хп), �1 ( х1, ..., хп) и �2 (х1, ..., хп) - д.н . ф. , при че м
мн ож е ств а симв о лов д . н. ф. �г и �1 V�2 не пересен аются ;
f 2 (х1, ...' хп, q) q �1 (х1, . . . ' xn ) V �2 (х1, ... ' хп) ;
= (2.2)
3) К1 {ср1а (х1,
= , хп.) }, гд е а пр о бе г ае т п се симв олы, в стреча ю­
• • •

щиеся в схеме S 1 и в форму ле �г � 1 \' �2, - произвольное м н о ж ество бу ле-


вых функций таное, ч то ер ер1ь (если и ер1ь и ер в х одят в К1);

_ ==

_

К2 = {ер2а (х1, · · · , хп) ; ep2q (х1, · · · ' хп) },


гд е
{ ep2q ( х1, · · ер1х ) ,
· ' Хп ) = QЭг (ер1х1, · · · '

ер2а (х1, ...' хп) = epla (х1, ...' хп) (а -:- q);
4) Л (i 1 , 2)- д.н .ф . , полученна я в результа т е р аскры т ия снu­
==

бо к в форму ле (2.i) и о тбрасыв ани я конъюнкций, К i -проводимость ко­


торых тождест венно равн а нулю .
Тогда имеют место следующие утверждения:
У т в е р ж д е н и е 1. Е сли �г (х1, , хп) является формулой К 1- • • •

проводимости под сх емы Г, то 1; (х1, , xn, q) я вляется формулой К2- • • •

проводимости схемы S2 тогд а и только тогд а, когд а f� (х1, , xn) • • •

flвляется фо р.мулой К1-п роводи.мости схемы S1.


У т в е р ж д е ни е 2. Если QЭг (х 1, , хп) является фо рмулой Кс • • •

проводи.мости по дсхе.ktы Г , то S2 тог д а и тол9ко тогда К 2-реализует


футщию f2 (х1, . .., хп, q), когд а S1 является К 1-ре ализацией функциll
f1 (х1, ·· · ' Х,п )·
Для дока з ательства второго утвержде ния доста точ но показ а ть , чт о
при лю б ом наб оре зн а чении... х1о , , хоп * ) : • • •

а ) f 1 (ер1х1 (х� .. ,
, х� ) , ..., ер1хп (х� , ..., х�) 1 тогда и только тогда,
.
=

ко гда f 2 (ер2х1 (х� , ..., х�), ... , .ер2хп (х�, . . . , х�) ) 1; =

*) Значение q не фиксируем , так как q я вляется фикт ивным переменным всех


ра сс матриваемых функ ций .
О СИНТЕЗЕ НВАЗИБЕСПОВТОРНЫХ СХЕМ 10�

б) в схеме s� тогда и Т ОЛЬRО тогда су ществует цепь У1' К1-П РОВО-­


димость которой (при наборе х�, ..., х�) равна 1, ногда в 82 сущест-.
вует цепь у2, К2-проводимостъ ноторой (при том же наборе) равна 1.
Намет им план доказательства утверждения 1.
Достаточпостъ. Пусть 1: формула К1-проводимости схемы S1"
Чтобы доказать, что f: является Ф?рмулой К2-проводимости схемы S2,_
достаточно показать, что:
а) Для любой цепи у2 (схемы 82) таной, что при ненотором наборе-
..,
о о
значении х1, , хп • • •

ср2У2 (х�, ... ' х�) =:/= О,


существует цеш) у1 схемы S 1 таная, ч то
ср 1У1 (х�, ... ' х�) =!= О,
и из вхождения*) проводимости цепи у1 в д.н.ф. J: вытенает вхожде-­
ние проводимости цепи у2 в д.н. ф . 1; (если q � у2, то у1 совпадает с у2).­
б) Для наждой нонъюннции 52Ц2> из 1; можно найти нонъю ннцию �tj1)
из /�, являющуюся проводимостhю цепи у1 ехемы S1 , а по цепи у1
можно найти цепь у2 схемы 82, проводимостью ноторой: является �1i2) •.

Необходимость доказыв ается аналогичным образом.

§ 3. Синтез квазибесповторных схем с заданной


формулой проводимостli

1. Пусть задана д. н. ф.
xn ) 5Л1V52f2V � ( х1 ,
V�{m, (3.1)'
· · · ' = · · ·

и требуется построить нвазибесповторную схему S с формулой проводи­


мости (3.1). Обозначим через
(3.2}
символы, встречающиеся в (3. 1) (очевидно, каждое ai имеет вид
x�j' 1<j<n).
:Как мы уже выяснили, можно предполагать, что множество ребер
схемы 8 (если она сущест вует ) совпадает с множеством (3. 2), а фор­
мулу проводимости этой схемы ·можно рассматривать нан формулу
К0-проводимости.
Алгоритм: синтеза схемы S состоит в следующем .
а) Проверяем, обладает ли формула (3.1) свойствами формулы про-­
водимости нвазибесповторной схемы. Если обладает, то всем ее символам
ai (i-< k) приписываем К -проводимости, т. е. полагаем
0
croa· (х 1, . . . ' x n )i
ai (i 1, 2, . . . ' k). (3.3}
= =

б) Выделяем двухреберные подсхемы схемы S . Для этого рассматри­


ваем всевозможные пары ребер (т. е. символов из (3.2)) и выясняем, нание·
из них могут быть параллельно или последователь но соединены в схеме S .
При этом же.Латель но отмечать совместность или несовместность пар,
(например, ясно, что если пары { aip ai2} и { ai2, щ3 } могут быть соединены
параллельно, а пара {ai1 , ai3 } не может быть соединена параллельно, то
первые две пар · ы несовместны; ясно танже, что предположение о парал­
лельности пары {ai1 ; ai2} несовместно с предположением о том, что пара
{ail ' ai3 } соединена последовательно; тание фанты желательно отметить).

*) Имеется в виду вхождение в качестве конъю нкции.


'106 Б. Ю. ПИЛЬ ЧАН

Пусть пара ребер { ai p ai 2} удовлетворяет условиям последователь­


ности или параллельности. Предположим, что эта пара действительно
·образует подсхему Г в неноторой схеме S с формулой проводимости
(3.1). Тогда путем выноса за снобни символов ai 1 и ai 2 и, возможно,
дописывания нонъюннций, тождественно равных ну.Лю, формулу (3.1) ·

можно преобразовать н виду


�Г(§;lV (§;2, ( 3.4)
где �г-Формула проводимости подсхе1ны Г, а Q:1 и �2-д. н. ф. , не пере­
сенающиеся с Г. Заменим в формуле (3.4) формулу �г новым символом
.q1 и раснроем снобни; всем символам полученной д . н. ф. припишем
К 1-проводимости, полагая
{ <plq1 (х1, . . . ' xn ) == �г (<рох1' . . . '(j)oxn ) ,
<pla· (Х1,i
· · · ' Xn ) == <рОа· (Х1,
i
· ' Xn ) ,
• · i < k,
и отбросим члены, К 1-проводимости ноторых тождественно равны нулю.
Согласно утверждению 1 п . 3 § 2 в результате этих преобразова­
нии полу чим формулу
- "'( ( 1 v (\'( (!) \/ �{ <1)
' .7: n ' q 1 )
91 (1)
�"' (Х 1' · ·-
� >
· �-t 2 v • • • -« Jt1 ' (3.1.1)
1

ноторая будет формулой К1-проводимости схемы S1, полученной иа S


в результате замены подсхемы Г одним ребром q 1• Затем ищем пары
ребер, ноторые могут быть соединены параллельно или последова­
тельно в· схеме с форму лой К1-проводимости (3.1.1) и т. д.
Процесс повторяется до тех пор, пона не получ им множество
кт= {<рта (х1, . . . ' хп)} ( а== x� i, ql) . . . ' qт)
и формулу
m
ir( > (х1, ' хп, q1,
· · · , qт) ��Jn>v��m> v • V�ii�> ,
· · · (3.1.т)= • •

н:оторая либо является формулой Кт-проводимости двухреберной схемы,


либо не является формулой Кт-проводимости никакой нваз ибесповтор­
ной схемы, содержащей двухреберны� подсхемы . В первом случае
переходим н пуннту д), во втором - н пуннту в) .
·в) Рассматривая все наборы по µ символов (по всем µ, 3 < µ <
< r;: + 1, где rm -- число различных символов в д.н.ф. (3.1.т)), мы
выясняем, нание из этих наборов могут бы ть в. н.з. в 1шной-нибудь
-схеме Sm с формулой проводимости (3.1. т ) . Предполагаем:, что один из
этих наборов Z0 действительно является вполне внутренней звездой, и из
·совместной ·С�стемы в.в. з . , содержащей Z0, строим ядро .
Из связных номпонент ядра выбираем те, ноторые могут быть под­
схемами схемы Sm. Если какая-нибудь компонента ядра обладает свой­
·Ствами подсхемы, мы разбиваем ее концевые ребра на две полюсные
.звезды*), учитывая, что два концевых ребра, входящих в одну и ту же
конъюНI{ЦИЮ из д . н. ф. (3.1. т), принадлежат различным полюсным: звез­
дам. При этом может случиться, что некоторая пара концевых ребер не
входит совместно ни в одну конъюнкцию из д. н. ф. (3. 1. т) . Тогда вознюшет
возможность по разному разбивать концевые ребра на полюсные звезды,
и в дальнейшем нужно будет исследовать все возникающие при этоl\i
варианты. Предположим, что полученная таким образом схема Г дей­
.ствительно является подсхемой схемы Sm. Тогда, кан выте�{ает из свойств
подсхемы, при помощи одних только дистрибутивных законов алгебры

*) Звезда называетс я полюсной, если ее центром является пол юс.


О СИНТЕЗЕ RВАЗИ Б Е СПО В ТО РНЫХ СХЕМ 107

логики (и, возможно, дописывания конъюнкций, Кт-проводимости кото­


рых тождественно равны нулю) д. н. ф. (3.1.т) можно привести к виду :
5Втг�т1 V �m2 ' (3.4.т)
где �тг=$Втг(х1, , х , q1, , qт)-формула Кт-Проводимости Г, а �тt
• • • п • • •

и �т2-д. н. ф. , не пересекающиеся с Г . Если �тt = 1 и �т2 =О, т. е.


если (3.1 .т) является формулой Кт-проводимости схемы Г , то переходим
1� п. д)*) . В противном случае заменим в формуле (3.4. т) формулу Q}mг
новым символом qm+t и раскроем скобки; всем символам полученной д. н. ф.
припишем Кт+1-проводимости:
{
<j) m + I , qm, � 5Втг (<р111х1 , ·' <j)тхп' <j)mq1• ·, <j)m q m) ' • • • •

<рт+1, а
-
- <рта (а=/= qm+1) ·
Отбросим конъюнкции, Кт+1-проводимости которых тождественно равны
нулю. По утверждению 1 п. 3 § 2 полученная формула
S\ { (т+l) - ()f(JJ'l,+l) v (\'{(m+l> v v (\'((т+l)
� (Х1' · · · ' Х п' q 1' · · · ' q т+ I ) - zi 1 ii 2 • • • zi km + 1 (3.1.т+1)
будет формулой Кт+1-проводимости схемы S111+1, полученной из Sт
путем: замены подсхемы Г ребром qт+t ·
г) После пункта в) выполняется снова пункт б); выполнение пуннтов
б) и в) чередуется до тех пор, пока процесс не оборвется либо в силу того,
что �m1 1 1 и �т1 2 = О, либо потому, что не окажется подrрафов , обладаю-
-

щих свойствами в. в. з. или свойствами подсхем. В первом случае пере-


ходим к п. д), во втором случае см. п. е).
д) Если в результате применения процессов, описанных в пп.
т
б)-г), получим схему Sm с формулой Кт -проводимости � < 1 ) , то после-
1 1

довательно заменяя в ней все ребра qi соответствующими подсхемами,


м:ы получим (в силу утверждения 1 п. 3 § 2) схему S с заданной форму­
лой проводимости (3.1).
е) Пусть в результате применения п. б) и п. в) мы пришли к д. н. ф.
�{(ml) (х1, , Хт q1,
• • •
1 ) такой, ЧТО НИ ОДИН набор ее СИМВОЛОВ не
, qrn • • •

обладает свойствами подсхем, в частности н д. н. ф. , не имеющей наборов,


обладающих свойствами в. в. з. , или R связному ядру, содержащему все
символы из �{<m1>, из ноторого (путем склеивания его концевых ребер в по­
лiосные звезды), нельзя построить схему с формулой Кт1 -проводимости
�<т1). Это еще не означает, что не существует квазибесповторной схемы
с формулой проводимости (3. 1). Неудача могла постигнуть нас потому,
что не все принятые нами предположения (о параллельности или после­
довательности той или иной пары ребер, о том, что .тот или иной подграф
является вполне внутренней звездой или подсхемой) ·истинны. В этом
случае нужно, изменив систему предположений, повторить синтез.
Если (3.1) является формулой проводимости наной-нибудь , нвази­
бесповторной схемы S, то, перебирая все возможные системы предположе­
ний, мы в нопечном итоге построим эту схему .
3 а м е ч а н и е. Без ограничения общности можно считать, что при
любом i в формуле (3.4. i)
(3. 4 . i)
* ) Здесь намечается еще одно отличие синтеза квазибесповторных схем от бес­
повторных. После построения бесповторной схемы методом Б. А. Трахтенброта нуж­
но еще произвести анализ - проверить, реализует ли построенная схема заданную
функцию. При синтезе квазибесповторных схем анализ растворяется в выделении
подсхем, а именно в проверке того, является ли для построенной подсхемы Г д.н. ф.
f г частью д. н.ф. �г (см. свойства подсхем).
1 08 Б. Ю. ПИЛЬЧАН

�ir не Ксортогонально ни одному из членов д. н. ф. �ii· Так как, оче­


видно, �il пр�дставляет собой дизъю нкцию всех �?У' (тани х, что �t
пересенается с Г), то формулу (3 . 1 . i + 1) можно получить из (3 . 1 . i) путем
замены всех символов из Г символом qi+l и последую щими сонращениями
вида 52{� 52{ и 5l{ v � � .
= =

2. П р и м е р 1. Построить квазибесповторную схему с формулой


проводимости
ш = xzvx vv xivwv xyuvv xyzwvx yzu \/ xyuvwv xyzuvvx yzuwvх yzt•w.
� обладает свойствами формулы проводимости. Полагаем:

(j)ox = х; <роу = у ; {j)oz = z; <рои== и ; (j)ol) = v ; (j)ow = w;


<рох = х; Cf>o"Y = у; срои== и; cpo-v = v.
Последовательно соединенных ребер нет. Пара {и, v} соединена
параллельно (выполняю тся необходимые и достаточные условия) в лю­
бой квазибесповторной схеме с формулой проводимости S2X (если такав
схема существует). Полагаем
�1ш == xz Vxvv xyvwVxy u vVxyzw\/ х yzu Vxyq1vwVxyzuq1Vxyzq1w:
(j)и1 = и V v; <р1 = х; <р1у у ; {j)1
х z; <p1w w;
= z = ==

<р1х = х; ср1!/== у; <р1и == и; <р11' == v.


Двухреберных подсхем нет. Вполне внутренними звездами могут
быть тольно наборы:
Z1 == {х, z, х, v }, Z2 == {х , z, u, w} , Z3--:-- {�, и, v, w},
z6 = {х, z, у, у},

п ричем набор Z1 несовместен с Z2 и с Z6, так нак они и меют два


общих ребра х и z, аналогично, набор Z1 несовместен с Z3 и набор Z2
несовместен с Z3 и с Z6•
С вязная компонента ядра, содержащая звезду Z1, не содержит
других вполне внутренних звезд, и, следовательно, не является под­
схемой (очевидно, вполне
!/ внутренняя звезда образует
подсхему тольно в том слу­
чае, ногда она состоит и:�
z двух ребер).
Связная компонент а нд­
ра, содержащая звезду Z2"
может содержать либо толь­
но звезду Z4, либо звезды
Рис. 3. Рис. 4. Z4 и Z3• Если эта компонента
содержит толь ко Z2 и Z4"
то при любом снлеивании ее концевых ребер (см. рис. 3) получаем граф
с параллельными ребрами. Следовательно, Z2 и Z4 не образуют
неразложимую подсхему. Предположим теперь, что все три звезды:
Z2, Z4 и Z5 являются вполне внутренними. Обозначи м через Г набор
ребер связной компоненты ядра ( т. е. звезд Z2, Z4, Z5, см. рис. 4):
Г -== { х, у , у, z, u, w, q1} ·

f г = xzV xywVxy u Vyzw Vyzu V xywq1 Vyzuq 1 Vyz q1w;


О СИНТЕЗЕ НВАЗИ БЕСПОВТОРНЫХ СХЕМ 109

�� $1; �l� = 1; � 1 �ik = xz =/= fГ' xyw · 1 ф О, следовательно, Г не являет­


ся подс4емой.
Аналогично доRазывается� что ребра· звезд Z3 и Z4, а также ребра
звезд Z3, Z.i, Z5 и ребра звезд Z3 и Z5 не образуют подс хем.
',

!/ п у
� �

р jj

...
а) о/
Рис. 5.

Остается исследовать с лучай, ногда . связная компонента ядра


-состоит из звезд Z4 и Z5 (рис . 5, а).
Г1 = {у, у, и, и·, q1};
fг1 =ywVy uVywq1 Vyuq 1;
52{ � = 52{ � = 1; �l � $ 1, 52{; = xv;
�з �ik = ywV y u·v ywq1;

член уиq1 не входит в �·3�Цk, но он К1-ортогонален xv (таR кан


xvyu(u Vv) =О).
(\ '{ " == (\'{"
Zt4 - Zt7 -
=== ()'{
Zt3, ", •
-
(\ '( 11
:а5 = xz;

следо_вательно, ребра Г1 могут образовывать подсхему схемы S1, причем


у и и. должны принадлежать различным полюсам этой подсхемы
{ем. рис. 5, б).
Полагаем:
91(2) = xz\;xvvxvq2 vxzq2;

({)2q2 = ywVy и Vyucp1q1 Vywcp1q1; cr2 = х; CJJ2 z; ср2-х х; cp2-v v. x z === = =

Двухреберных подсхем нет. Вполне внутренними_ звездами могут


быть тольно наборы
z1 == {х, z, q2} и z2 {х, v, q2} . =

Ндро, составленное из них, после снлеивания нонцевых ребер дает


схему 12 с формулой К2-проводимости �(2). Подставляя в схему 12
вместо q2 схему S1, а затем в место q1 пару параллельных ребер и и v,
получим исномую схему ( с�ема 13).
· Пр и м е р 2. Построить квазибесповторную {схему с формулой
проводимост и
52{ zt v xyw v xyzu v x yzv v x uv t v uv wt.
==

�( обладает свойствами формулы проводимости. Полагаем:

croz = z ; cpot ==
t; срох = х;: CfJoy = у; crow == w;

crou ==и; CJJo/j = v; cro; == v; crox = х.


1 10 Б. Ю. П ИЛ Ь ЧА Н

П оследов а тельно могут быт ь соединены только ребра х и у ; пара ре­


бер {и , v} у довлетворяет необходимым и дост а точным условиям пар ал-
лельности ; пар а { v, х} удовлет воряет необходимым условиям параллель­
ност и ; другие пары условиям пар аллельности или последов ат ельнос т и
не удовлетворяю т . Т ак как пара {и , х } не мож ет быт Ь параллельноii �
ТО п ары { и , ·v} И { v , х} н е СОВМес тны ; т ак как Пе р вая И З Э Т ИХ пар П а ­
р аллельна в схеме с формулой пр оводимости � ( если т акая , схема су-

Схема 12 . Схема 1 3 .

ществует) , то вторая пар а не пар а л лельна . Итан , остаютс я две в о з ­


можности :
а ) пар а {х , у} после д о в ател �н о соединена , а п ара { и , v} п араллель-·
но соединена ;
б) имеется е д инственн ая двухреберн а я подсхема - пар а {и , и} .
И с следуем: об а случая .
а ) Полагаем :
-

<p 1 q 1 == x y ; <p 1 q 2 == и V v ; <p 1z- == z ; <р н == t ; <p1-w == w ; cp1-v = v ; <р1х = .т .


�{ О> == Z.i v q 1 w v q 1zq2 v x q ;iJt v q 2vwt .
Двухреберпых подсхем: нет (достаточно исследовать сочетани я q 1 и q 2•
с остал ьными ре брами) . В . в . з . может быть только Z1 { t , z, q2 } : хотя =

че рез ребра х и v не прохадит цепь , не пересекающаяся с Z 1 , но вне Z 1


есть пара Ксортогональных ребер х и q 1 • Так ка к других в . в . з . нет ,
т о ядро состо ит из одной этой звезды; при любом склеивании е г о ребер
в полюсные зве зды получаем граф с парой параллельных ребе р , следов а­
тельно , ядро не является подсхемой схемы с формул ой Кс проводимости � ш .
б) Полагаем:

<p 1 q 1 = и V v ; <p 1 Z- = z ; <р н == t ; <р 1х = х ; <р 1 у = у ; <p 1 w = w ; <p 1:V == v ; <р 1 ; == х;


�ш = zt v xyw V xyzq I v x q ivt V qivwt .
Двухреберных подсхем нет.
Я д ро опять состоит Из одной вполне внутренней звезды Z1 = { z , t , q 1 }
и не я вляется подсхемой схемы с формулой Кспроводимости � ш .
Итак, ни п р и одной и з возможных систем предположений синте з
с хемы не удается , следовательно , не существует нвазибесповторной схемы
с формулой проводимости %( .

§ 4 . Синтез квазибесповторных схем , р еализ у ющих зада нн у ю ф у нкци ю.

1. В предыду щем параграфе описывался метод синте за схем по их


формулам проводимости . О сновную роль при этом: играло следующее
свойство формулы К-проводимости � схемы S: если схема S имеет ,
подсхему Г с фор м улой К-проводимости QJ1. , то при помощи выноса .
О СИ Н Т Е З Е Н В А З И Б Е С П О В Т О Р Н Ы Х С ХЕМ 11 r

з а ск о бки и , возможно , добавления членов с нулево й К-проводим ост ь ю ,_


можно формулу � преобразовать н виду
(4.1}
где С11 и � 2 - д . н .ф . , не содержащие символов из Г . Именно эт от
факт н ут верждение 1 ( стр. 104) д а ют возможнос ть заменит ь под­
сх ему Г одним реб ром . Очевидно, что если схема S реали зуе т функ цию,
f ( х 1 , . • • , хп ) , то любую д .н. ф . этой фуннции мож ­
но преобразовать к формуле проводимо сти схемы S , а !/
за т ем - к виду (4.1) .
Если же ф ормула п роводимости неизвестна ( ка �\
чаще всего и бывает ) , то при синтезе схемы прихо­
д и тс н и сна т ь пр едставлен и е фуннц и и f ( х 1 , • • • , х п )
ера ау в виде формулы (4.1) ; при этом подсхема Г и ,
следов ательно , � 1, предпол а га ю т ся известными . Од­
н а к о пре де т а в лен ие f ( x1 , • • . , хп) в в иде (4. 1 ) , во о б ­ il
ще говоря , не одиоз н а чно; если в формуле ( 4.1) рас-
крыть скобни и отбросить члены с н у л е вой К-про­
водимост ью , мы можем получить формулу , не являю­ Схема 1 4 .
щуюсн формулой К-проводимости нинаной кваз иб е с ­
п овторной схем ы (хотя f ( х 1 , • • • , хп ) и и мее т кваз и бе сповторную реа ли­
за цию) . Ут верждение 2 поrшзьшает , что, как и м бы образом нам ни у д а­
лось предс т а в ить f ( x1 , . . . , х п) в в иде ( 4 . 1 ) , з а мена r на q и �г н а q·
возможна .
2 . Д н е фунн ц:ии ( фо р мулы) � 1 ( х 1 , • • • , xn ) и � 2 (х 1 , • • . , х п) на зовем
к
К -э в и валентным и , есл и функ ци и 5!t 1 ( <рх1 , • • • , <рхп) и �2{ 2 ( <pxl' • • • , <рхп)·
(Cfxp . . . , crxn Е К ) рав н ы ( э к ви валент н ы ) . Од на и та же н. в аз и бе спо в торна я
сх ема п ри одном и том же множестве К :может К-ре а ли зовать ра злич­
н ы е ф унн ц и и . Н априме р , с хема 1 4 при К = { <рх =--= х ; <р у = у ; cr: = z �
_
cpq 1 х V y ; Ч И == и ; <p q 2 и V z} К- реализует ра зличны е функ ц ии
= ==

f2 ( x ,r y ,�z ,�u , q 1 , q2) = xyu \/ xyq1q 2 V zq1и V zq 2•


Однако , очевидно , чт о все фуннции , К-ре али зуемые о д ной и той ж е схе­
мой, К-энвивалентны ме жду собой , и , наоборот , все К-энвивалентные
фунн ции К- реализуются одним и и теми же cxel\t al\JИ . В частности , все
д. н . ф . фуню�ии , К-реашшуеl\I ОЙ схемой S , К- экви в алентны форl\lуле
К-проводю\1ости этой схе мы .
3. Пусть фу н н цпя f (х1 , • . . , х1) , ре али зацию ноторой нужно построить ,.
задана своей д . н . ф .

(4.2)
Так нан (4 . 2) может и не являться формулой проводимости нинакой :ква­
з:ибесповторной схемы , то у нас нет основания считать , что в реализацию.
(4. 2) входят тольно те символы , ноторые встречаются в этой _р орму �е .
Поэтому не обход и мо расс:матр:и вать все сиl\шолы х1 , • • • , хп , х1 , • . • , х11 •
Припишем все:м эт:иl\1 .еимволам К0-проводим:ости и будем: исследо в ать.
все пары не К0-ортогональных символов на возможность их последов а­
тельного или параллельного соединения .
Предположим , наприме р , что при исследовании на параллельность
ребер а п Ь мы обнаружи ли в д . н . ф . (4 . 2) член %( i , «мешающий» парал--
11 2 Б. Ю. ПИЛЬ ЧАН

.лельности этих ре бе р , т. е . член вида a bS)j или вида а>.В , но таной, что Ь�
не .входит в (4. 2 ) . Тогда встае т вопрос о том , нельзя ли построить д . н . ф .
� �1) V �{�1> V . . . V�iA: , ( 4. 3)

К0-эквивалентную (4 . 2) , и таную , в ноторой символы а и Ь удовлетворяли


бы условиям параллельности . Если эти ре бра действительно паралле льны
в нен оторой схеме S, К0-ре ализующей (4. 2) , то таная д . н . ф . . наве рняна
,с у ществует (наприме р , фо рмул а К 0-проводи м ости схе :м ы S) .
Формулу (4. 3) можно привести н виду
(а V .h). Q:i V �2
и п рои зве сти замену а V Ь на q1 с К 1- проводи :м остью ер t q1 а V Ь . В сил у
=

утверждения 2 (стр . 104 ) схема , полученная из S заменой па ры . парал­


. и Ь ребро м q1, будет К с ре али зацией фуннции q1�1 �2•
оf)� сльных ребе р а v

Аналогично мы поступаем и в том случае , ногда в фор­


муле (4 . 2) обнаруживаем на ной-нибудь член, <�мешаю­
щий» условиЯ:м последовательного соединения или
z условиям в . в . з . Метод прове рни , является ли данная
связная номпонента ядра подсхемой или нет, неснольно
отличается от метода , ноторым пользуются при по­
строе нии схемы по формуле проводимости . Дело в том ,
L1
что д . н . ф . , если она не является формулой проводи­
мости , может не определять разбиения нонцевых ребер·
связной номпоненты ядра. Т ан, напри:м� р , схема 1 5
ре али зуе т фуннцию
Схема 15. f (х, у , z, u ) === yzu Vxyи V xz v xи V xyz ;
подгр афы Z1 {х , у, z } и Z 2 {х, у , и} удовлетворяют
== =

условиям вполне внутренней звезды, следовател ьно , ядро состоит из всех


ребер ; нонцевые ребра ядр а : z, и , х, х ; ре бра z и и входят н одн у
полюсную зве зду , хотя в рассматриваемой формуле есть член,
-соде ржащий оба эти ребра . Поэтому для наждой связной номпо­
нент ы Г ядра нужно рассмотреть всевозможные допустимьш способы
разбиения нонцевых ребе р на полюсные звезды (тан нан связная номпо­
нента ядра может быть тольно не разложимой подсхемой, то допустимыми
разбиениями являются тольно те , при ноторых наждая полюсная зве зда
состоит более чем из одного ребра и не соде ржит двух ребер из одной
и той же вполне внутренней зве зды) . Далее , совпадение (с точностью до
членов , К -ортогональных � i) формул /г и � tS2!i'k в случае , ногда и сходна я
д. н . ф . является формулой К-проводимости схемы, нан м:ы уже · отмечали ,
д ает возмож ность легно представить эту д . н . ф . в виде >В г � 1 V � 2 ,
где � г - формула проводи мости Г . Для прои звольной д. н . ф . это , нонечно ,
н е ве рно . П оэтому � tS2{ik нужно сравнивать не с /г , а с формулами К 0-про ­
води мости различных схем Г i , полученных из Г . П ри этом , нан и при
проверне всех остальных условий, в случае , если условие не выполняется ,
исследуется вопрос о существовании другой д . н . ф . , К0-энвивалентной
формуле (4.2) и обладающей нужным свойством .
Заметим , что в рассуждениях настоящего пуннта специфина фуннций
из К0 не играла нинаной роли . Поэтому описанный метод применим при
любом множестве К, т. е . на любой стадии синтеза схемы.
О стается рассмотре ть вопрос . о нахождении фо рмулы (4. 3) , К-энви­
в алентной формуле (4� 2 ) и обладающей нужными свойствами . Лепю заме­
тить , что <шомехи» выполнению тех или других условий могут быть двух
родов : либо это отсутствие неноторых члщюв (наприl\lер , члена Ь � при
О СИНТЕ З Е Н В А З И Б Е С П О В Т О Р Н Ы Х С ХЕМ 113

наличии члена а� при пр ове рке усл овий п арал л е л ь ности ; чле н а , соде р­
жащего п а ру ребер из в . в . з . ) , ли б о нал ичие «мешающи х» членов (на п ри -
1\lе р , члена , содерж аще г о одно или три р е б ра и з в . в . з . , чле на , пе ресечение
которого с подсхемой Г не вх одит в фо рмул у п ро в одимости э той подсхемы
п т . п . ) . М о ж н о считать , что фо рмул а (4 . 3) пол уче на и з (4 . 2) п уте м д о б а в ­

лени я отс утствующи х чле н ов и посл едов ате л ь ной з амены одн о г о «:мешаю­
щего» чл ена сов окупностью «не :ме шающи х » членов . П р оце с с т а н ог о
псправления не может п родолжаться бесн онечно : п ри н а ждой заме не
чпсл о членов , « 1'rешающих» данному усл овию , уме нь ш ае тся , а числ о усл о­
вп й , подле жащи х пр ове рке , также уме нь ш ается , тан н а н после з амены
подсхемы одни l\1 реб ром уменьшае тся числ о и с с ледуе м ы х символ ов .
Ншне б удут сфо рмули рованы усл овия , при к ото рых оди н чл е н д . н . ф .
l\IОЖет быть з аме нен другими ( не в х одящи ми , в о о бще г о в о ря , в эту д . п . ф . )
и у с д ов и я , п ри ноторых д а нный чл ен может быть допи с а н R д . н . ф . Д л я

фор мулировки э т и х усл овий удо б н о вве сти поня тия К-п онр ыти я и К- веса
ф ормул ы .
4 . О п р е д е л е н и е 4 . 1 . Сово купно сть эл е мента рных I{ ОНъюнн­
ц п й * ) SЛ i 1 , �1 1 2 , • • • , � i s называетс я К- п о кр ыт и е м чл е н а �{ i д . н . ф . �1 ,
е е л и п ри замене в э той ф о р муле чле на � i ф о р :м ул о й 5Л i 1 V 5lf i 2 V . . . V �! i s
пол уча ется д . н . ф . , К-э н ви валентная ф о рмуле � -
Кэ-ПОI{р ытие буде м назыв ать пон р ы тие м . В опрос о п р е в р ащении
фо р .му л ы (4 . 2) в формулу (4. 3) , обладающую нуж н ы ми св ойств ами , с в о­
дп тс я к вопросу об оты снании К- понр ытий и о в о зможности добавлени я
нед остающи х членов .
В е с ом * * ) (К -вес о м) к о нс т т е н т ы х�1 х�2 • • • х�п н а зы в ае тся дв о и ч ное
0 и у
чи с л о anan_ 1 • • • а 2 а1 • К- ве с а.и, ф у нкции f ( х 1 , • • • , :r п ) н а з ы в ае тся с о в окупност ь
весо в н о нституен т фу1шцип f ( тх , . . . , <рхп ) (е сл и последняя фуннция толще-
't' 1
стnенно ра вна нулю , то фу нкц ия f (х 1 , • • • , х ) име е т пустой К- ве с) .
п
Для Rратности мы в дал ьне йше м «К0-ве с » будем на зывать п р осто
«весо м» . Веса п К- ве с а б уде м запис ывать в де сятичной систе ме . Н а п ри-
l\Iе р , п ри п = 5 нонсти.туента х 1 х2 х3 х4 х5 имеет в е с 25 (т . е. 1 1 0 0 1 ) , а :конъюнк-
·

ци я х1 х3х5 - ве с (1 , 3 , 9 , 1 1 ) ; при

К = { срх
1
== x 1 V x 2 ; (j)x2 = х 2 ; (j)x3 = х 3 ; (j)x3 == х3 ; тх
't' 4 == х4 ;
. ср.х4 = Х4 ; (j)x5 === Х5 ; (j)x5 == Х5}

последпн я нонъюНI{ ЦИЯ имеет К - ве с (1 , 2, 3, 9, 1 0 , 1 1 ) , а фо р м ул а х 1 х3 х 5 V


V х2 х 5 имее т К- вес (1 , 2 , 3 , 9 , -1 0 , 1 1 , 1 6 , 1 7 , 20 , 2 1 , 24 , 25 , 28 , 29) ; т а н о й
- -
ж е К-ве с И:l\[ е е т ф о р l\[ у л а x1x3 x5 V x2x5 V x5x5 •
l�аждая функция пол ность ю х а р а нте ри зуе тся н а б о р ом с в о и х консти­
туе нт , и следовате л ь но , своим весом . Отсюда , две ф ор .мулы К-э квивал е н т­
н ы тогда и т ол ько тогда , к,огда их К- вес а с о вп а да ют .
Вес элемента рной н о нъюннции D , не соде ржа ще й ор тогонал ь н ы х
спl\шолов , легно оп реде лить п р и помощи следу ющей та блицы . В пе р в о й
строке спра в а нале в о пишем з начени я дв оичных р а з рядов , т . е . 2° , 2 1 ,
2 2 , • • • , 2п -1 ; под ними - си мволы х1 , х 2 , • • • , хп . В треть й строне в н о л онне
xi пи ш е м :
1 , е сли в D в х оди т xi ;
О , е сли в D в х оди т xi ;
- , е сли D не соде ржит ни xi , ни xi ;

*) Э лементарной н о н'�юшщией называется ф ормул а вид а

* * ) См . , наприме р , [3].
8 П р о б JJ емы ни б е р пе т ини , в. 3
1 14 Б. Ю. П И П ЬЧАR

в последнем случае нолонка xi на зывается пустой . Третью стро1{ у полу­


ченной таблицы будем называть дво ичной записью конъ юнкции .
Очевидно , двоичная запись нонституенты с наименьшим весом , вх о­
дяще й в D , получится , если все пустые места заполнить нулями , в ес этой
Ешнституенты равен cyмl\Ie чисел пе рвой строни: , стоящих в тех 1юлонках ,
ноторые з�по л нены ед иница l\Jи ;.
ТооА1що l веса остал ьных нонституент по­
лучаются путеl\1 поqледоватсль­
зz 76 8 4f 2 7
Вес
ного добавления к уже полу­
Хв х._, � Х3 .zz z; че нныl\1 весам чисел первой
9
строни , стоящи х в пустых 1� 0 -
- 1 о - 1 9-t Z::lJJ л о ннах .
4 о Вычисление веса 1юнъюнк-
9+ JБ=-25, ll-t /Ь'=-27
ции D 1 = х1 х3х4 х6 ( п G) прив еде-
==

но в табл . 1 .
Записав в такую та блицу один под другим все члены неноторой д . н . ф . ,
получим таблицу , полностью харанте ризую щую эту формулу . Например ,
д.н.ф.
(4.4)
х а ракте ри зуется таблицей 2 .
i i
Если д . н . ф . � ( ) получена и з д. н . ф . � ( - 1 ) в ре зул ьтате выделе ни я
1ш ного-нибудь подграфа Г , обладающего сво йствами подсхемы , и зы�епы
е го одним ре бром q , то таблицу
i
К свесов членов формулы � ( )
Тоdлшщ Z
можно лег:ко получить и з табли-
i
ц ы к (i - 1 ) -весов ф ормулы (\'�( ( - 1 ) : l/лен !8 8 4 · 2 1
ну ж но сдева добавить нолонну , Вес
·
сJ.н.ф :Z:5 � :С3 Xz :с,
соотве тствующую пе ре:менно-
- - о о о @, 8, 16, 24
1\I У q ; заполнить эту н о лонну еди­ ir1
ницами в тех стронах , 1\ Оторые 11г - 1 - о . о 8, ®, 24, 28
с оответствую т членам д . н . ф . - о о - !В, 11. 24, 25
113 1
� ( - 1 ) , пе ресекающимся с Г ;
i
дл я каждого X '! i Е Г в колонке xi 114 7 7 - о - 24, 25, 28, 29,
1.

вычер ннуть все символы a i (по- 115 7 - - - 1 71, @), @,@25,@,29,(j/)


следние две операции соответст­
вуют тому , что каждый символ
из Г заме няется символом q) ; если при этом оказал и сь одинак о вые
строки , то все , кроме одной , вычернив аются , а соотве тствую щие всем и м
К ( i - 1 )- веса объединяются (см: . замечание на стр . 107.- 108). Наприме р , в
фо рмуле (4 . 4) сиl\шолы х3 и х4 удовлетворяют условияl\1 параллел ьности ,
следовательно , и х можно заменить одюгм символом q с Кспроводимо-
ст ь ю х3 V х4 • П оJi учим формулу
-
Х1 x2q V X 2X5q V Х 1 Х 5 • ( 4.4 . 1 )

Таблица 3 являетс я табJшц ей К 1 -весов членов этой формулы (в таб­


л и це заче ркнуты повторяющиеся строю1 , а в объединении весов одпнако­
вых строк - повторяющиеся веса) .
Конституенту , в ходящую только в один член д. н . ф . , будем называть
выделенl-lо й кol-lcm иmyatmo й этого члена (в данной д . н . ф . ) , а ее вес-выде­
лаш��.лt весом (в таблицах вы деленные ве са обводятся кружками) . Член
д . н . ф . , содержа щий выделенную нонституенту , , будем называть ос обым
Ч Леl-lОМ ЭТОЙ д . 7-l . ф .
О СИНТЕЗЕ Н ВАЗИБЕСП О ВТ О Р НЫ Х С ХЕМ 11 5

Поня тие выделенного веса дает возl\lожность сформулировать нрите­


р и й того , что формулы �1 i 1 , , W i s явля ю тся К-покрытием члена � i
• • •

д. н . ф. �{ . Прп этом м ы будем считать частными случаями К-покрыти я


пустые К-покрытия (член 52( i 1\ЮЖ -
но вычерI{ Нуть из �l) и К-покры- Тс!Олшщ J
ти я «пустого» �{ i (члены �1 н , . . . � i s
можно допи с ать 1\ �{ ) . О че видно , t/лен 7Б 8 4 2 ! /
lf; -вec
что : dн ф q Z'5 Х4 Х'з Xz .z;
Ф ор .м ул ы �I i 1 , , � i s о бра з ую т .
- - - о о @,®. 18, 24
• • . "

К- покрытие члеl-lа �X i д. 7-l. ф . � тогда Jti, { 1 ) 7


J п Г1
и только тогда , когда все выделеl-l- J
"
�,@� 28
v Т7

1-lЫе веса �{ i входят в К.;.вес фор.м ул ы, l 1 - - о - 18, 17, 24/ 25


�1 i 1 V V � i s и К-вес последl-lей 11�1 } . ,.,
1 J и
24, 25,28, zg
7
. � .

формулы содержится в К-весе фор­


л1ул ы W . -ci t �1 ) - l - - - 1 17, ®, @@)
П ринципиально все К-покрытия д @ 29/J_?)
чл е н а � i произ в ольной д . н . ф . �
м ожно найти путеl\I пе ре бора , так ка�� существуе т лишь :конечное ч:ис.71 0
нонъюнкци й , К-вес которых входит в. K-nec фо рмулы � .
Однако в :качестве исходной форl\Iулы ( 4. 2) удобнее всего испол ь�
аовать сокраще н ную д. н . ф. , так 1шн очевидно , что каждая формула ,
входящая , в покр ытие л ю бого члеl-lа сокращенl-lо й д. к . ф . Щ , является
продолжеl-lием* ) одl-lого из члепов этой д. 7-l . ф.
Заметим н то му же , что в л юбое К-покр ытие особого члеl-lа сокращеl-l­
ной д. 7-l. ф . входит пр одолжеl-lие этого же члеl-lа .
·
Из последнег о замечания вытенают дв а следствия :
1 ) Cul-lmeз квазибес повторl-lЫХ схем упро щается , есл и исходl-lая со­
кращенлая д. 7-l. ф . lli является миl-lимальн о й (тан нан наждый член мини­
мальной формы является особым) .
В следующи х двух пу н нтах на приме рах будет поназано , нaIOil\I
им е н н о образо м исполь зуется наличие выделенных :конституе н т при на­
хождении двухреберных подсхем (пример 3) и:подсхем с� большим чис­
лом ребер (пример 4) .
2) Еслv, квазибес п овторl-lая схел·t а S, р еализующая фу н-кц и ю f(x 1 , , xn) ,• • •

содержит только те ребр а , котор ые входят в осо бые члеl-lы coкpaщel-ll-loй


д . 7-l . ф . фуl-lкции f(x 1 " , х11) , т о S является миl-lи..м альн о й среди всех реали­
. •

ва ци й этой фующии (тан кан та:кие р ебра в ходят в любую д . н . ф . фун:кцпи


f (х1 , , хп) , в том чи сле и в формулы проводиl\Iости все х ре али зующи х
• • •

ее схем) .
Ввид у этого ребра , входящие в особые члены с он р аще нной д . н . ф . 9{
п ли фор мулы , полученной из �! в процессе синте з а , будем: называть
необходим.ы.ми ребра.ми. Та:к нак _естестве нно жел ание построить :мини­
м альную схему , то целе сооб разно новые ребра q в водить сначала вместо
те х Г , ноторые состоят толь:ко из необходимых ребе р , а остальные Г "
н отор ы е могут быть подсхемами ( в том числе двухребе рными ) , ис следо­
nать лишь по мере необходимости . Однано при прове рке усл овий п о с л е ­
довательности , параллельности и условий , при :кото рых подграф я вляется
в . в . з . , удобно все 2п ребра расс:матрив ать однов ре менно , тан :как та:кие­
прове рки обьшновенно проводятся одними и теми же средствами ка:к для
не обходиl\lых , тю� и д ля не необходимы х ребе р .

* ) R онъюющия 58 называется пр одолжением нопъюшщии 5В 1 , если первая


содержит все символы второй . Е сли 58 является продолжением 5В 1 , то двоичная 3а ­
пись � ( в табли цах типа таблицы 1 или таблицы 3 ) является продолжением двоичноl'i
за писи 93 1 , а К-вес � входит в К-вес 5В 1 .
·
1 16 Б. Ю. ПИЛЬЧАН

5. П р
м е р и 3. Построить нв азибесповторную схему , р е ал и зую­
_щую фуннцию * )

Х2Х4 v Х1 Х 2 Х3 Х4 v Х 2 Х4.Х 5 v Х 1 Х 5 v Х2 Х3 Х4Х5 . (4 . 5)


..-._ _ _ -

Х1

Сокращенной д . н . . ф . это !� фунн ц ии явл яется ( 4 . 4) .


1 ) Всем символам x i , xi , i == 1 , 2 , 3 , 4, 5 (не зависимо от ТОГО ,- ВХОДЯТ ли
они в формулу (4 . 4) или нет) , ·п рипишем К0 -проводимостп .
2) Исследоваl-l ие 1-la последовател Ьl-lость (выделение пар ребе р , кото­
рые могут быть соединены последов ательно) . х 1 не может быть соединено
последов ател ьно с х2 , так 1-шк в любое пон.рытпе члена � 5 = 1 - -- 1** )
должен в ходить член с выделенным в е ­
Та!Jлш;а 4 сом 21 , т. е . таное продолжение чл е­
lfJ 8 4 2 !
на �{5 , у ноторого нол о н ка х2 либо пу­
Вес ста , либо соде ржи т О; аналогично х1 н е
.zs Х4 хз X'z � может быть соединено последователь но
' "ll 51 1 - J 7 J с х3 и х4 (тан 1шк �,{ 5 соде ржит выдел е н­
@,® ·

ную нонституенту с весом 1 9). х 1 .м о ­


' 1 ( 52 J 1 7 7 7 ® жет быть последовательно соединено с
, 1L 1 о 7
_sз l 7 @ х 5 , так нак можно либо выче рннуть чл е ­
11 54 l - о о l 77, 25
ны �(3 и Щ4 , либо заполни ть в них 1юлон-
; 1t ну х1 ед ини цей. х1 не l\Ю� ет б�r ть п о с ле­
s 5 7 l о о ! 25
1
до:е а тел ьно соединено с х 2 и х3 , тан ню�
[ it.55 l о о о 1 77 не существуе т ПОI{р Ы ТИЯ члена �1 1 ' RаЖ ­
: 'il-57 l
- о - 1 77, @), 25, @ Д Ы Й член кот о рого содержит х1 (SЛ 1 с о ­
де ржит нонституенту с выделенным ве­
: 1L sa 1 о о - J 77, @
с ом О) ; х1 не 1\Ю �ет б ыть последовател ь-
( 1L s g 7 7 о - l 25, @
но с ое динено с х5 , та�\ кан не суще ству ­
j 11 5 10 ! - - о 7
, 11, @, 25, 29 ет продолжения члена Щ 5 , соде ржа ще­
1
го х5 ; х 1 не может быть п оследователь-
1t 5 ,11 J о - о J 17, ®
н о соединен о с х4 , тан нак в любое по­
11 5 ,12 J 1 - о J д 29
i - крытие �{ 5 входит член с конст:итуе н той
1 t 5 , 1З J о - - 7 17, @),(t_j), @ веса 31_ , т. е. член , у ноторого нолоюш
х4 либо пуста , либо содержит 1 .
it s 1 4 l 1 - - l i5, @, 29, @
. __ _:__. Исследуем пару {х2 , х3 1 . Е сл и в
накой-нибудь схеме S, реализующей
(4 . 4) , ребра х2 и х3 соединены пос ледоватеJ1ьно , то в формуле проводимо ­
сти схемы S су ществуют члены , с о д ержащие оба эти ребра , и не существ уе т
членов , соде ржащих т о лько одно и з них . Ч лен , соде ржащий х2 и х3 , можно
получить только из �1 5 • Составим таблицу все х продолжени й члена �{ 5 ,
либо совсем не соде р жащих ребе р х 2 и х3 , либо соде ржащих оба эти ребра
(табл . 4) , и отмети м: в ней выделенн ые веса члена � 5 • Н ас инте ресуют
1'Ол ько такие п окрытия члена � 5 , ко торые внлючают хотя бы о дин п з
'Чл енов 5Н 5 1 , � 5 2 и �{53 и не соде р жат пары членов , один из которы х являет­
-ся продолжением другого ; кроме тог о , предпочтение следует отдавать
liJЛенам с меньшим: числом символов . Одним из таких понрытий является
·� 5 1 , � 5 7 и �{ 5 , 0 . С уществу ют и другие ПОI{рытия , удовлетворя ющие этим
"Требован и ям , однано , в силу утверж дения 2 , при дальней ших исследова­
;юшх l\I Ы сможем ограничиться расс мотрением только одного из ни х
И тан , ребр а х2 и х3 могут быт ь соедиl-lены последовательн о .

* ) М ожн о пока з ать , ч то д. н. ф . (4 . 5 ) не яв ляе т ся фор.муло й п р о в одим ости


:щ в ави беспсшторной схе мы .
'*:*;) Мы ино гда будем отождествлять конъюющии с и х д в ои чн ыми за писями .
О СИНТЕЗЕ R ВАЗИБЕСП О ВТО Р Н Ы Х С Х ЕМ 117

х2 и х4 не уд·о в Jiетворяют условию последовательности (не суще ству ет


покрытия члена � 2 , каждый элеl\ш н т которого соде ржал бы и х2 и х 4) ;
х2 и х 5 не соединены последовательно (в противном случае существовало
бы покрытие члена �{ 5 , состоящее т о лько и з про� олжениlI члена 1--11 );
х 2 не с ое ди н ено последов атель н о �и с х 1_:_ ни с х5 (тан кан н е существу е т
п о 1{ рытия чле н а SЛ 5 , соде ржащего х 1 или х5 , а в продол же н ии други х чле ­
нов х2 н е в х од и т) ; х2 н е е оеди н ено последо в ательно с х 3 ( и з-за члена 9! 1) ;
но х2 может быть соединено последователъно с х4 •
Рас с мотрим еще пару {х4, х5 }. Если б ы эта пара бы ла сое д инена
пос ледовательно в н е которой схем е S, то формула проводимости этой
схемы не содержала бы продолжений члена SЛ4, а вместо члена � 2
с. оде рж ала бы �2 1 0 1 - 00 ( 8 , 1 2 ) или е г о продолже н ие ; между т е:м
==-

т аная д. н . ф. не содер ж ит конституенты 28 ; следоват ель н о , X i и х�


не могут быт ь соед:ипены по следовательно.
Иеследун а н ало г ич но все остальны е пары , приходим :к выводу ,
что у с ловиям последовательности удовлет воряют тольно следующие пары :

а5 == {х 3 , х4} ; а6 == {х 3 , х5} ; а 7 = {х 1 , х2 } ; а8 == { х 1 , х 5} ;

а9 == {х2 , х5 } - при условии , что в формуле проводимости


отсу тст вуют продолжения чле н ов 9{ и � 4 ;
3
а о 1{х з ' Х,1 } ; а 11
=== == { х4 ' х s } ·
3) Исследование на параллельность. х 1 н е параллельн о х 5 , так нак
в любом покрыт ии �1 5. имеет ся чле н , содержащиii оба эти символа .
х1 пе п араллельно х2 • В самом деле, в любое покрытие члена S21 5 вхо­
дит член , у ноторого нолонна х2 содержит либо 1, либо пуст а (так 1 ш к
вес %( 5 содержит выделенн ый ве с 31) . Наличие в любой д . н . ф. чле н а
1- 1 1 иш1 его продолжения с видет ельст вует о том, что х1 и х 2
-

не параллель ны . Е с ли же в формулу пр о водимости входит продолже­


ни е SЛ 5 с пуст ой нолошюй х , т о должно входит ь и продолж ени е чле н а
2
1 - - 1 - с пустой :колон ной х1 . Н о юша к ое продолж е ние член а с пу с т ой
перво11 колонной не является продолжением · ч ленов формулы (4 . 4) п ,
следовательно , н е мо ж ет входит ь ни в накую формулу , К 0-эк ви в алент­
н ую (4 . 4) .
А н ало г ич но поназы вается , чт о х1 н е параллельно х3 и х4 (из-за
нон ституен ты 3 1 ) , х2 (из-за но н стит у енты 2 1 ) , х3 и х4 (из-з а нонс. т п­
т у енты 19 ) . х 1 м о ж ет быт ь соеди н ено параллел ыю с х 5 , х2 - с реб р а :\Ш
.т 3 и х5 (�1 5 понры вается нонъ ю ннциями 1 - - 1 1 и 1 - 1 - 1 ) , с х_!_ ( п_0н р�т­
ти е �5 образуют кон Ъ ю�шции 1 - - 1 1 , 1 1 - - 1 п 1 - 1 - 1 ) , х1 , х 3 , х 4
( понрытие �5 образуют 1 - - 1 1 ; 1 0 - - 1 и 1 - 1 - 1 ) .
Ан ало г ично исследуя остальн ы е пары ребер , приходим к в ы воду ,
ч т о параллельными мог ут бь1т ь только следующие пары ребер :
�1 == {Х1, Х5} ; � 2 :::=: {Х2, Х 3} ; �з == {Х2, Х4} ; �.:1: == {Х2, Х1} ;
�s == {х2 , Хз} ; �6 == { х2, Х4} ; �7 { х 2 , Х5} ; �s
== == {хз , .т 4 } ;
0 == fl Х4 , Х3 J1 , 1'1R 1 1 == {Х 5 , X 1 1J ; 1'1R 1 2
R R f; 1 'У'
{Х 3 , ' Х 5 } '
1'19 = 1'11 l "_/--1 ' хs J ·
· •
==

4) 'Г олько в п ара х а 1 == { х 1 , х 5 } , а 7 == { х1 , х2} , � 10 { х4 , х3} и � 11 { х , х 1}


= = 5

оба ребра я вл я ю т ся н е обходи мыми . П ара � 1 1 н е с о н ме с т н а с а1 и а , ,


.1 1 8 Б. Ю. П ИЛ Ь Ч А R

·с ледователь н о , и з п ар а 1 , а 7 , � 1 0 и � 11 мо ж н о составит ь две максималь­


ны е совместн ые с и ст ем ы :
а) а1 , а 7 и � 10 ;
б ) �10 , � 1 1 •

Ест ественно начат ь с предположения , что псе пары м аксимальной


сист емы образую т подсхемы, таи нан при этом: предполо жении в иссле­
дуемой формуле максимальн о сонращается число с и м u олов .
TadALЩC/ 5

l/,1e;1
1 Jfl 8 4 2 7
011. ф !(, - вес
f1з � С/, Х'5 cZ4 Iз Zi :с,
1)
1 t'1 J 7
- - - - - - о, 8, 72, 7Б, 24, 28
t ( ! )'
� l J 1 J - - - - - f/ycmшJ вес
:U (f) - - 1 - - - - - 77, 111, 21, 23, 25, 27, 29, JI
J

Р ассмотри м первую систему. П ар у а 1 заменим ре б ром q 1 с К спrю-


1ю д и м ост ь ю <p 1 q 1 х1х 5 ( при ЭТОМ �_{3 И W 4 НУЖНО либо в ы че р н: н у т ь , Либо
=

заполнить в н их е диницей колонку х 1) ; п а ру а7 - ребром q2 с Кс�р оuо ди ­


м остью cp 1q 2 х 1 х2 (� 3 и �4 либо выч ерк н уть , л и бо запою�ит ь в н и х,
==

_
н у л ем но лонну х1) ; пару � 10 - ребро м q3 с К с про во дп мост т_) ю cp 1 q3 == .х 3 V х4
( ус л ов и я параллельности в ыполне ны ) . Кг п роnодимость ост альных ребер
еовпада ет с их К0 - п р оводимост ь ю . Таблица 2
превратится ,· в таблицу 5 . В этой т аблице член ��1 )
~ �
по лу ч и л с я из �!3 и �!4, одв ано , поснольну этот
ч .пен имеет пусто й вес , то его нецелесообразно
С х ема 1 6 .
сохраня т ь дальше . Очеви дно , что � �1> V �1 �1 1
явлн ется формулой К сп�юводимости схемы 1 о .
П од с т а вив в э ту с х ему вм есто р ебер q 1 , q 2 н
q 3 с о от ветст вующие п а р ы ребер , получим схему 17 ,
р еали зую щу ю фушщию ( 4 . 2 ) .
Z'"
.J Полученн а я схем а я вля ется миним альной u
и.Лас.се всех схем , реализующих ф ун к ци ю (4.2) ,
,Z'' т ан нан в се ее ребра являютс я н ео б хо д и м ыми .
Р ассмотрим вторую мансимал:ьпую ео н мест­
Сх е ма 1 7 . ную сист ему (условия п араллельности пар � 1 0 п
�11 выполнен ы ) . Пар у � 1 0 з а м е н и м ребром q1
с Кс про води м ост ью cp 1 q1 х3 V х 4 , п ару � 1 1 - р е б р о м q2 с К1 -п р о в о дн -
==

мос т ью <p 1 q 2 = х1 V х5 • Получим т аблицу 6 . Из . этой т аблицы видно ,


_ Таdлш;а б

!/лен l8 8 4 2 J
r111ф :с,ч 22 :с,
!(,- вес
� r;, :С5 Z'3

1.(,(11
)
!
- - -
., _ о
- о, 8, 12, 75, ц 24, 25, 28, 29
1 L �0 '! - - - - -с... 1 ц щ д z� д 2;: 29, з1
) ,,.,,

� то q 1 и х2 удовлет воря ю т условиям последовате.пь н ости . Заменим эту


п ар у р е б ром q3 с К2-проводимостью cp 2q cp 1 q 1 ср 1-;: (х3 V х4 ) �· П ол учи м 3 =
2 =
О С ИНТ Е З Е Н В А З И Б ЕСПО В Т О Р Н Ы Х С ХЕМ . 1 1.9


т аолпцу 7. о чевидно, ре б ра х1 и q3 соединены параллельно , \)'( 1( 2)
и
v \)'( 2( 2 )

является формулой К2-проводимости схемы 1 8 .
Таtfл11ца 1

!/лен lб 8 4 2 l
dн. ф
l(z - вer:
r/з � � Ш5 24 1'3 .z2 :с,
(2 )
1t1 7 1 - - - - - -
о, � 12, 15, ./7, 24, 2i 28, 29
1t �2 ) -
7 - - - - -
l /,� щ 2l 23, 2� 27, 2!1, З!

З а мени в в этой схеме ребра q 2 и q3 соот ветствующими подсхем ам и ,


110.лучим дру г ую минимальную схему 19, реализующую фу ннцию ( 4.2 ) .

f1з
;


.z;
Схюш 1 8 . Схема 1 9 .

При другпх предположениях получаются схемы 20 и 21.

'Х;

� Х5

I'5
Е;
Х2
� Х;
Схема 20. Схема 2 1 .

П р и м е р 4 . В § 3 (пример 2) б ы ло поназан о , что не еуществует


Б вазибеспоl?торной схемы с формулой проводимости

zt V xyw V xyz u V xyzv V x uv t V uvwt . (4 . 5)


·'Г ем не ме н ее функ,ц ия f ( х , у , z , и , v , w , t) , заданная . этой формулой ,
реализуема в нлассе нва зибесповт о рных схем . Ф ормула · ( 4 . 5 ) я вляет ся
ое онращенной д. н . ф . , и при т ом , ка:к видно и з соот ветст вующей этой
формуле т а блицы 8 , минима ль н ой д . н . ф .
-

Пара а 1 {х , у } удовлетворя ет усл_о вию последова т ел ь ности , а пар ы


===

J3 1 {х, w} и �2 { w, z } - условию параллельност и . *) . Тан нан символ ы w


= =

и z не являю тся необхо димыми, т о введем сначала т олько два ребра :


q1 вмест о пары а 1 и q 2 вместо п а ры � 1 • П оложим :

cp 1 q1 = ху ;
cp 1q 2 == . x v w .

* ) Имеются и другие пары ребер, удовлетворяющие условиям параллельности


и последовательности, однано , мы не будем их рассматривать , та к как рассмотрение
nap а1 , р 1 и � 2 достаточно для построения схемы, реализующей (4 . 5 ) .
120 Б. Ю. П И Л Ь ЧА Н

Таодща 8

L/лен 84 32 18 8 4 2 !
Вес
dн.ф. f lff l/ !.1 z у :с
'1 t J - - - - -
®/@,@, 87, 72, 13, 14, 75, @), @, @. 83, ®. @ @,
1 о
� ®®®® � @� Щ ® @® Щ @@@ �
�L - - - -
z о ! J 00 1� (jД lfl, @) ll @, ш: @ 7� 7!J, 83, ®, 81, ®
- - -
'1t3 J о ! J Jl, 27, @ 5!!, 75, 91, 707, 723

'!t t 4 -
-t/ -
о J 1 lfl, ц ®, 59, 83, g� 115, 123

- - -
1t 5 ! о ! о 1� 74, 78, 76; !04, 105,@. @

1 tf l о ol 1
- - -
72, 73, 74 7� lб, @J 76; 7g

Таблица 8 превратится в т аблицу 9.


Z 1 == {и, w , z , t} и Z2 === {v , w , z , v} могут быть в. в . з . , � а:к :ка�{ �1 �1>
м ожно Кспо:кры т ь членом - 1 1 0 10
- 521�1> - членом
- - , 10 1 1 0 -
- - - ,

�1 �0 - членом 1 - 1 - 0 1 1 -
- . Однако эти з везды имею т два общих

Тоолицо !J
-

l/Аен 84 32 Jo 8 4 2 !
ilн ф t
11'; - вес
� � lU li и z у .т

@/@/@, бl, 72, 71, 74, 75, @,®. @, 83,


� (1 ) - - - - - - -
1
1 о @),@),@) g� @/f!J@),@ Ш4, @ !!JО, ш;:
@ @, @) 115, @@),@. !23
1{(1 )
2 ·/ /1- - - - - - - 00. 11, @, ш, @, ц ®·
57, @, 15, 1/1, 81, @ Ш, @

'li (1 ) -
7 - - -
! о - -
!!, 27, @), 5!1, 15, gl 107, 12J
3

1(,( 1 )1
4
- / - -
! -
о - -
l!l, Zl @, 59, tЦ 91. !!5, !ZJ

'21 (1 ) - -
5
J J о ! - - -
12, ?.Х 74, 75, @@. @. 7§, ш� шо. @@

ребр а : z и w. С другой стороны , э т а пара ребер может быт ь еоед и нен а парал­
лель н о . Если мы используем унаs анны е Кгпонрытия членов 521�1 > , Щ �1
и ��1 ) и з аменим пару �2 { z , w} одним ребром q3 с К2-проводимос т ь ю\
==

cp 2 q3
== z V w , мы получим д. н . ф . sл. ш , нот орой соот вет с т вует т аблица 1 0.
Свойств ами в . в . �з . обладают Z1 = {и, t, q3} и Z2 { v , q3, v} . Е сл и. ==

Г == {и , v , v , q3 , t} я вляет ся подсхемой некот орой схемы , К2-реал и зующей


О СИНТЕЗЕ Н В А З И Б Е СП О В Т О Р Н Ы Х СХЕМ 121

Таолuцо liJ

l/лен 84 32 /В 8 4 2 l

t ш v- l!
/r� - вес
, о.н.ф f1з � 9; z у :z:

@,@,@. 87, @@@, 75,


'1L �2) - - --
l - - -
о - -

@.@),@, 8з.®® ®.®.


@®@®@@.@, ш1
@.@,®.@@.@. ®. @
'1t (2) 00/!!J @®@® (/!),
2 1 1
J -
- - - - - - -

87, ® 75, l!J, 83, ® !ll, ®

(2)
�з ! -
1 - -
о 1 о - -

@, lfJl 1
2)
il 4( 7 1 о 1 о
®®
-
- -
-
-

"' t(2 )
)., 5 ! 1 -
! -

о ! - -

1 -
@@@, 7§, @@
·-

( 4 .5 ) , т о нонцевые ребра и . п v ядра Г (рис . 6а) принадлежат разным:


полюсным звездам : в любую д . н . ф . фуннции (4 . 5) входит член , с одер-·
жащий оба эти символа (это член , явля-
ющийся продолжением особого члена �{ 6 l1 !/
ф ормулы (4 . 5 ) ) . Следователь но , схема Г
имеет вид , и з ображенный на рис . 66 ,
и �r иtV и qiiV vq3t. Д . н . ф . с та блицей 1 0
=
i t
имеет три член а , пересенающиеся с Г :
�>{ .� 2 > , �Н2) и 51( �2> . Сра вним � 3\]1 � 2k.) ' , � 4W � 2 ) '
... ._, � iJ 1
1, k
d/
.

и � 5\J1 � 2 ) ' с � 1<


.

1, k
Р и с . 6.
'
� 4� (ih.2 )
'(
� з� ik2 ) ' == == uv q3 v vt q3 .

-- огон ален � � >" zq 1,


Недост а ющий член ut не К2-орт 2 но :к д. н. ф . ==

(
� ( 2) мо жно доб а ви т ь член �{ 6 2 ) utzq1, т а к как его К2 -в ес ( 1 1 , 2 7 , 43 , 59} ==

Таолица !!

'!.лен бl; 32 15" 8 4 2 J


ff.y - вec
дн.ф rt, t/3 � � t ш- !/ ll z !! :с

•@@@ ц @@® 73; ®®@.


11 \3 ) - - - -
1 - - -
о - -

81, @iij), @ ®/i!il!J®/@@J@


@),1ai®®® @®®@@
1( 2(З) - -
7 l -- - - - - - - 00, 11, @,@@ 21, @ 61, @ 15,
ц 83, ® 91, (@
1,t (З)
з
1 - -

!
- - - -
о ..... -

!!, ll, @, @® J(/7


1,t. 4(З) l -
! -
l - - - - -

@@@ lfl @.@J


122 Б. Ю. П И Л Ь ЧА К

содержит ся в К 2-весе � ( 2 ) . После т акого преобра зования � зsдi( �q ) ' � 4�i( 9�) '
= =

-
= � 6SЛik( 2 ) ' = 5В r , а � 5SЛik( 2) ' = uvq3 отл и ч а ет ся о т · 5Вг чле н а м й, К2 -о р т ог о -
н а льны м и 52! 5( 2 ) " t q2 •
==

Следо ва т ельно, �<2 > можно предст авит ь в виде

581'�1 V �2 == 5Вг ( � �2> V SЛ�2 >') V �l2> V�l��)


' �

Заменим теперь в э т ой ф ормуле 5Вг н а q 4 с К3 -про uодпмос тью


<р з q4
= u t V u V{ z V w) V v (z V w) t. Посл е р а с нрытия скобок получим д. н . ф. �( <3

t z

Схема 22 . С хема 23.

с т а блицей 1 1 . �(З) я вля ет ся , :ка:к легко видет ь , форм улой К3-проводи­


мос ти схемы 22 , следо вательно, фуннция (4. 5) ре а лизует ся · схемой 23 .

Л И Т Е Р А ТУ Р А

[ 1] Т р а х т е н б р о т Б . А . , К теории бесповторпых контактных схем , Т р уды


Матем. ин-та АН СССР 5 1 , 1 9 5 7 , 2 2 6 -2 6 9 .
'[ 2 ] К у з н е ц о в А . В . , О бе с повто рных контантных схемах и бе споnто рных супе р­
.

позициях ф уннций алгеб ры логики , Т руды М атем . ин-та АН ССС Р 5 1 , '1 9 5 7 , 1 8 6 -


225 .
{ 3] М с С l u s k е у Е . J . , J r. , M i n i m i zati on of B o o lean Funct.i o n , Т lie B e l l S y steш
"

Technical J oшna l 35, 6, 1 9 56 , 1 4' 1 7 - 1 444 .

По ступило в реда кцию 1 2 \Т I 1 958 .

Оценить