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

Se р а_ r а�­

Отдельный оттиск

EESTI NSV TEADlJSTE AKADEEMIA

TOIMETISED

ИЗВЕСТИЯ
АКАДЕМИИ НАУК ЭСТОНСКОЙ ССР

FOOSIКA, МАТЕМААПКА JA
TEHNIК:ATEADUSTE SEERJA

СЕ РИЯ ФИЗИКО-МАТЕМАТИЧЕСКИХ
И ТЕХНИЧЕСКИХ НАУК

1963

Fond nr R-��5J
Nim. nr
:?
-----

S. nr /р�
ЕЕSП NSV TEADUSTE AKADEEMIA TO!NlEТISED. Xll KOIDE
FOOSIKA-MATEMAAТIKA- JA TEHNl!(ATEADUSTE SEERIA. 1963, NR. 3

ИЗВЕСТИЯ АКАДЕN\.ИИ НАУК ЭСТОНСКОИ ССР. ТОМ XI!


СЕРИЯ ФИЗИКО-МАТЕМАТИЧЕСКНХ И TEXHJ!ЧECKIIX НАУК. 1963, No :3

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

П. ХАНКО

В работе Б. А. Трахтенброта [ 1] излагается синтез бесповторных


схем, т. е. схем, в которых с каждым реле связан только один (либо
замыкающий, либо размыкающий) контакт. Б. Ю. Пильчак [2] обоб­
щила этот метод на случай схем, в которых cJ каждым реле может быть
связан один замыкающий и один размыкающий контакт (но не обяза­
тельно оба). Та�ше схемы она назвала квазибесповторными схемами
Б. Ю. Пильчак описывает синтез квазибесповторной схемы, но не дает
условий, при помощи которыs можно до начала синтеза установить.
является ли данная дизъюнктивная нормальная форма (д.н.ф.)

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


Квазибесповторная реализуемость д.н.ф. выясняется только после прн­
менения алгоритма: если мы получим схему, значит, формула квазибес­
повторно реализуема; если .синтез не удастся, значит, квазибесповтор­
ной реализации нет.
В настоящей статье дается достаточный признак, при наличии кото­
рого данная д.н.ф. является форыулой проводимости какой-нибудь
квазибесповторной схемы.

§ 1.

Пусть д.н.ф.

( 1.1)

имеет следующее свойство: если хотя бы одна Еонъюнкция 'in; содержит


булеву переменную а и хотя бы одна Еонъюнкция 'iJ(i (i ф j) содержит
булеву переменную Ь (Ь ф а), то ни одна конъюнкция не содержит аЬ.
Мы скажем, что (1.1) имеет свойство А относительно пары булевых
переменных а" Ь или, другими словами, что (1.1) имеет свойство
.1 (а, Ь).
Д.н.ф. (1.1) со свойством А (а, Ь) может содержать элементарные
Ji:ОНЪЮНКЦИИ трех типов:
1) конъюнкции а 12(1, а 12[2, , а ll(p, Еоторые не содержат Ь (но они
могут содержать Ь);
2) конъюнкции Ь'5В1, Ь �2, • • • , Ь \J5q, которые не содержат а (но они
могут содержать ii);
О квазибесповторности релейно-контактных схем 245

3) конъюнкции ®1, ®2, , ®s, которые: не содержат ни а, ни Ь (но


. . •

ОНИ могут содержать как а, так и Ь).


Д.н.ф. (1.1) с свойством А (а, Ь) можно представить в виде
iJR= a(:WiV... VWp) V Ь(�1 V... V 1В'ч) V®1 V... V ®s· (1.2)
Введем обозначение
% V...V ?Лi =?Ли.
для дизъюнкции элементарных конъюн:кций, где индексы в левой части
изменяются подряд с i до j. Д.н.ф. (1.2) получит тогда вид
1.JJC=a'?t1pVbSS1: чV®1s· (1.3)
Мы скажем, что в д.н.ф. (1.1) свойство А (а,Ь) нарушается, если в
ней кроме конъюнкций первого, второго и третьего типа найдется хотя
бы одна конъюнкция вида ab(f. Д.н.ф. (1.1) имеет свойство А абсолют­
но, если ни одна пара булевых переменных в д.н.ф. (1.1) не нарушает
свойство А. Для исследования квазибесповторной реализуемости д.н.ф.
(1.3) существенно выяснить, при каких случаях пересечений конъюнк­
ций 911, , �Р• :?811,
• . , !В'ц, ®11,
• • • , ®s д.н.ф . (1.3) имеет свойство А
• • •

абсолютно. При этом приходится учитывать все возможные случаи пере­


сечения конъюнкций 121:1, �р, 'IJ311, , . , 58q, @!1,
• . • , , ®s, т. е.
, . . •

1° ни одна пара из конъюнкций W1, ... , Wp, SS11, ... , 1.8q, ®1, . . . , ,(&,,,.
не пересекается:
2° между собою пересекаются конъюнкции только одного и того же
типа;
3° между собою пересекаются конъюнкции разных типов.
В случае 2° Предполагаем, что между собою пересекаются конъюнк­
ции только первого типа 12'С1, , �Р· Разбиваем конъюнкции �1, . , %Ip
• • • . .

на l + 1 групп следующим образом:


к первой группе относятся U1, W., которые пересекаются и име-
,

ют общую часть С!\ 1 , то есть

9(1 = W'1 @:1, ... , '?I". = W'" @1;


к второй группе относятся 2'ta+1, . . . , w�, которые пересекаются и
имеют общую часть 1�2, то есть
%Т.+1 = �"•+11С!'2, . . , W� = @:('�С\:2; .

к l-ой группе относятся W7+1, , 21:в, которые пересекаются и имеют


общую часть '®1, то есть
Wт+1 = 12'С\+1 {fz, . . . , llta = 'l(', Ci:z;
к (l + 1)-ой группе относятся 9Iн1, , '?{р, которые не пересекаются
• • •

ни между собою, ни: с '?f; (i 1, ... , о). Разбивка сделана так, что конъ­
юнкции @:1, @:2, 1 , @:1 не пересекаются между собою.
. • .

С учетом разбивки д.н.ф . (1.3) приобретет вид


ШС1 = а(&'1а (tiV 91' а+1, � (f2V . .. V 'll' 7+1, а @:z V & 0+1, р) V blJ31ч V®1s: (1.4}
Аналогично, если в д.н.ф. (1.3) между собою пересекаются конъюнк­
ции второго типа 11J31, , IJ31q или третьего типа 1®1,
• . • , ®s, то д.н.ф. • . •

(1.3) приобретет вид


246 П. Ханко

или

соответственно.
Т е о р ем а l. Д.н.ф. (1.3) имеет свойство А абсолютно только в сле­
дующих случаях пересечений конъюнкций \Д1, . .. , 2'Ср, §8'1, ..., §Sq,
®1, · . . , ®s:
1) если ни одна пара из конъюнкций ?!!1, . . . , ?!!р, §81, . . . , .\Sq,®1, ...®s
,
не пересекается;
2) если она шлеет вид (1.4) (соответственно (1.5) или (1.6)), при-
чем sд; пересекается с \.>1] ( i =!= j) только в случае, когда ?!!; и �X' i принад­
лежат к одной и той же группе относительно разбивки ( то же относи­
тельно §В'; и .:IS'i или'®'; и (},)'i соответственно);
3) если все конъюнкции •\Д; (i= 1, ... , р) пересекаются со все.ми
конъюнкциями 581(j = 1, . . . , q) и имеют одну и ту же общую часть �;
4) если все конъюнкции �{; ( i= 1, ..., р) (или, все конъюнкции
?S!; (j = 1, . . . , q)) пересекаются с некоторы,ии конъюнкция.ми ®k (k =
= 1, ... , s) и имеют одну и ту же общую часть 11;\;.
Д о к а з а т е л ь с т в о. 1. Пусть в д.н.ф. (1.3) ни одна пара из кон-�.­
юнкций ll11, , %lp, ·§В·1, . . . , l\Sq, ®1,
• . • ' s не пересекается. Методом
,® • . .

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


а, Ь, �1, , \lXp, .§S.1,
• • • , §Sq, {�·1,
. • • , ®s не нарушает свойство А; т. е.
• • •

д.н.ф. (1.3) имеет свойство А абсолютно.


2.. Пусть в д.н.ф. (1.3) между собою пересекаются только конъюнк­
ции •&1, . .. , ?!!р. Д.н.ф. (1.3) принимает тогда вид (1.4). Пусть пересе­
каются между собою &'; и И'i (i =!= j), относящиеся к одной и той же
группе. Без ограничения общности можно допустить, что пересечения
имеются только в первой группе. Разбиваем ?2!'1, . . , &'а на т + 1 групп
.

по их общим частям �1, , \Jт. После выделения %1,


• • • , %т получим • • •

%С'1 = &111 �1, . . . , ?):(� = �{� \J1,

&�+1 = �{�+1 �m, · · · , &: =�(� \Jт.


Разбивка сделана так, что %1, ... , %"' не пересекаются между собою и
�{:.+1 , ... , &:. не пересекаются ни между собою , ни с другими
&; (i= !, . . " х ) . Д.н.ф. (1.4) примет вид
\]С;= а((�{�� trl V. · . V \lX;+!,x �т V 2'f�+1, а)(�\ V ?!!�+1,? С\:2 V · · ·

. .. V ?2!�+1,oG\:1 V �lo+1. Р] V Ь ?S1q V ®1s- (1.7)


Если в д.н.ф. (1.7) Пересекаются &; и &; (i=I= j), относящиеся к
одной и .той же группе, то опять разбиваем конъюнкции в этой группе
на подгруппы по их общим частям, преобразуем д.н.ф. и т. д. Процесс
продолжим до тех пор, пока ни в одной группе больше не будет пересе­
чений конъюнкций.
Для· конкретности допустим, что в ·д.н.ф. (1.7) конъюнкции
2(; (i= 1, ... , х) ни одной группы больше не пересекаются между
собою. Тогда проверка методом перебора показывает, что свойство А не
нарушается относительно ни одной пары булевых переменных, т. е. ·

д.н.ф. (1.6) имеет свойство А абсолютно.

/
О квазибесповторности релейно-контактных схем 247

Покажем, что д.н.ф. (1.4) не имеет свойства А абсолютно, если


между собою пересекаются 12,{; и 12.{j (i=I= j), относящиеся к разным груп­
пам, или 21; (i = 1, ... , 6) пересекает.ся с ·@:j (j = 1, ... , !) . Допустим,
что 21'1 пересекается с 12.{�н или с@: ' 2.Если полагать 12{'1 ='\{{1111@:' и 21� +1 =
= 21�+1 ·@: или @:2 = @:'2 @:, то д.н.ф. (1.4) получит вид
\](;=а(21;• @:11@: V 21�, @:1V21:+1 '@:21@: V 21�+2, �@:2 V
а . . • V 21�+1, а �iV
V l2Ia+1,p) V Ь �lq V @1s
или
l)JC;· =а(21; @:1@:V21�.�1Vl2{�+1.��;(fV ... V21�+1.а@1 V
V 21а+1,р) V Ь �JqV ®1s
соответственно. По подчеркнутым членам видно, что свойство А (·@, �1.)
нарушается.
Итак, если д.н.ф. (1.З) имеет вид (1.4), то свойство А сохраняется
абсолютно только в том случае, если пересекаются 21; и 21} (i=I= j), отно-• ·
сящиеся к одной и той же группе.
3. Пусть в д.н.ф. (1.3) все конъюнкции 21;(i = 1, . . "р) пересекают­
ся с·о всеми конъюнкциями fS:i(j = 1, ..., q) и имеют общую часть �'
то есть

12.It = 21;�, ..., 12.lp = 21��,


Q3t=�;%, . .. 5Sq=Q3:��-
.

Toгдa д.н.ф. (1.3) примет вид


Ю(4 = a21'tp�V b�
1 '1q�V@1s· (1.8)
Если в д.н.ф. (1.8) ни одна пара из конъюнкций 21'1, . . ., 21'µ, ?S'1, ...,Q3'q,
®1, ... , <Мs, � не пересекается, то методом перебора легко доказывается,
что д.н.ф. (1.8) имеет свойство А абсолютно.
Остается показать, что в остальных случаях пересечений конъюнк­
ций первого типа с конъюнкциями второго типа д.н.ф. (1.3) не имеет
свойства А абсолютно.
Пусть конъюнкции 12{1, ..., 12{. пересекаются с конъюнкциями Q').1, . . ,Q3� .

и имеют общую часть ::D1, так что


1!{1 = 2l'1::D1, . .., 21. = 21: ::D1,
'Q')'l =�'1::D1, ..., \,!)�= 1,13��1;
остальные конъюнкции первого типа W.+1, , 21р пересекаются с осталь­
• • .

ными конъюнкциями второто типа и имеют общую часть ::D2 (� =t= �1):
21.н = 21:+1�2, . . , Wp = 21��2,
.

1.!3�+1 = ·� �+1�2, . .., $q ='?В�%2.


В этом случае д.н.ф. (1.3) примет вид
9JC�=aW;.:�)iV al21�+1,p�2V bl,!3;�'!11 Vbl,!3�+1,q�2 V®1s,
в котором нарушаются свойства А (а,�1), А (а,�2), А ( Ь,�1), А (Ь,�2).
Пусть некоторые конъюнкции первого типа 12{1, 21. пересекают­
• • . ,

ся со всеми конъюнкциями второго типа iQЭ:j (j = 1, .. . , q) и имеют


общую часть ::D:
248 П. Ханко

&1=&;�, . . . '&.=1?(�� •

.SS1=18; � • . . . ' 18"q=)S


i ��;
остальные конъюнкции первого типа &а+1, . . , &р не имеютfпересечения.

с конъюнкциями .\Sj (j =1, . . . , q) . Д.н.ф. ( 1.3) примет вид

IJJC� =аи;:� Vа&.н,р V bQ..1;q � V (;5)1s,


в котором нарушается свойство А (а,�).
Итак, в случае пересечений конъюнкций первого типа с конъюнк­
циями второго типа, д.н.ф. (1.3) имеет свойство А абсолют:tю только.
тогда, когда все конъюнкции ).)fi (i =1, . . , р) пересекаются со всеми
.

конъюнкциями .\Sj (j'=1, . . . , q) и имеют одну и ту же общую часть ;;D.


4. Рассмотрим слу чай пересечения конъюнкций первого типа с конъ­
юнкциями третьего типа. Пусть все конъюнкции первого типа &i(i =
= 1, . . . , р) пересекаются с некоторыми конъюнкциями третьего типа
&>k(k =1, . . . , а) и имеют общую часть ,Gf:
�Ir = &; Q:, . . . , &р= u; Gr,
®1=®; Q:, · · · ,®
' а=®:Q:;
остальные конъюнкции ®1(l = а + 1, s) не пересекаются с &i.
Д.н.ф. (l.3) получит вид
9Лs = a&;pQ; V b'-&rq V О);. Q; V ®м1, Р· (1.9)
Если в д.н.ф . (1.9) ни одна пара Из конъюнкций
2(; (i=1, . . "р), �j(j=1, . . " q) , ®�(k=1, .. " а),
®1 (! = а+ 1, . . . , s), Q;
не пересекается, то методом перебора легко доказывается, что д.н.ф.
( 1.9) имеет свойство А абсолютно.
Остается показать, что в остальных ·случаях пересечений конъюнк­
ций первого типа с конъюнкциями третьего типа д.н.ф. (1.3) не имеет
свойства А абсолютно.
Пусть конъюнкцин &;(i=1, ... , а) пересекаются с конъюнкциями
®k(k =1, . . . , �) и имеют общую часть �1:
�{1=&;1Gr1, . . . , &а= &�' Grr,
&>1 =®; Gr1, "" ·®� =®�1Gr1;
конъюнкции &j(j=a+l, .. " р) пересекаются с ®1(l=�+1, . . . ,у) и
имеют общую часть 1Gr2:
&а+!=&�+l{;f2, · · · , &р = &�(r2,
' � н!f2, .
®нr =® · · , ® ·r =®� Gr2;
®m(m=v+ 1, . . "s) не пересекаются с &;(i=1, .. "р) . Д.н.ф. (1.3)
ПОЛУЧИТ ВИД
Э'Л�=a�r;.-@;1Va��+r.0�2 V bf8'11q V (;5); � t:f1 V ® �+1,1 t:f2 V ®1+1. s,
в котором нарушаются свойства А (a,!f1), А (а, Gr2).
Пусть конъюнкции &;(i =1, . . . , а) пересекаются с ®k(k = 1, . . . , �)
и имеют общую часть �:
О квазибесповторност u релейно- контактных схем 249

2!1= 2!;@, Ua=2X:@,


®1= ®;@, ®р, =®�(f;
2Xj(j = а+ 1, . . . , р) не пересекаются с ®k(k = 1, . . . ,s); ®1(l =
= �+ 1, . . . ,s) не пересекаются с 2Цi=1, . . . , р) . Д.н.ф. (1.3) примет
вид
ЭJ(� =:::: а2{; a(f Va2! а+1,р V bQ31q V ®; р,@ V ® P,+l, s,

в котором нарушается свойство А (а, ·Gl).


Итак, в случае пересечений конъюнкций первого типа с конъюнк­
циями третьего типа, д.н.ф. (1.3) имеет свойство А абсолютно только
·тогда, когда все конъюнкции 2f;(i =1, . . . , р) пересекаются с некото­
рыми конъюнкциями ®k·
Аналогично рассматривается случай пересечений конъюнкций вто­
рого типа с конъюнкциями третьего типа.
Теорема доказана.
Т е о р ем а 2. Если д.н.ф. (1.3) ижеет свойство А абсолютно, то она
является форжулой проводш.шсти квазибесповторной схе.мы в классе
последовательно-параллельных схеж.
Д о к а з а т е л ь с т в о. Для доказательства теоремы нужно найти
схему в классе последовательно-параллельных схем, формулой прово­
димости которой является д.н.ф. (1.3). При этом прнходится учитывать
все те 'случаи пересечений конъюнкций 2!•; (i =1, . . . , р), Q),j (j =1, . . . , q),
®k(k=1, . . . , s), при которых д.н.ф. (1.3) имеет свойство А абсолютно
и их комбинации.
1. Если ни одна пара из конъюнкций 2Цi=l, . , р), c;s,i(j=
"

=1, . . , q), ®k(k=I, . . . , s) не пересекается, то д.н.ф. (1.3) является


. .
·
формулой проводимости квазибесповторной схемы 1.
П р и м е ч а н и е 1. В схемах выражением 'ifl:;i обозначается подсхе­
ма, в которой цепи· с пр·оводимостями Vc;, . . . , l)(i соединены парал·
лельно.
2. Пусть д.н.ф. (1.3) принимает вид (1.7). Если в д.н.ф. (1.7) конъ­
юнкции u; (i 1, ... , х) ни в одной группе больше не пересекаются, то
=

(1.7) является формулой проводимостн квазибесповторной схемы 2.

а
w:,p
+

1
Схема 1.

(S),,
СА)
\,
&_,
1s
ffi1q
+ .-

+ Схема 2.
Схем а 3.
250 П. Ханко

Аналогично получается квазибесповторная схема и в тех случаях,


когда между собою пересекаются конъюнкции второго типа или треть­
его типа, и только те.
3. Пусть д.н.ф. (1.3) принимает вид (1.8). Если в д.н.ф. (1.8) не
имеется пересечений конъюнкций �; (i=1, . . . , р), �; (j = 1, . . . , q),
®k(k1= 1, . . . , s), то она является формулой проводимости квазабеспов­
торной схемы 3.
Легко увидеть, что д.н.ф. (1.8) является формулой проводимости
квазибесповторной схемы и в том случае, если в ней между собою
пересекаются конъюнкции одного и того же типа (т. е., или 2{; (i =
=1, . . . , р), или �j(j= 1, ... , q), или ®k (k = 1, .. . , s)), и только те.
4. Пусть д.н.ф. (1.3) принимает вид (1.9') , т. е
IJЛ5=a�;p@1V b�1qV@;.�\V@.+1,s, (1.9')
в которой '®а+1, , '®s не пересекаются с�; (i=1, . . . , р). В д.н.ф. (1.9')
• • •

все конъюнкции �; (i = 1, . , р) могут пересекаться с некоторыми


конъюнкциями из 1®� (k= 1, . . . , а). Пусть
�;=��@2, ... , ��= �;@2,
®;= ® ;· @2, ... ' ®�=@� @2.
Д.н.ф. (1.9') принимает вид
' а2{ ;�@11@2 v 8�]q v ®�р @1@2 v ®�+1. а@1 v ·®a+I. s,
'.ffi�= (1.10)
в котором ®;+1, 1(.f!y.: не пересекаются с конъюнкциями �; (i =

= 1, . . . , р).
В д.н.ф. (1.10) все конъюнкции�; (i=1, . . . , р) могут пересекаться
с некоторыми конъюнкциями из ®� (k 1, . . . , �). Выделим их общую
=

часть @3, преобразуем д.н.ф. (1.10) и т. д. Процесс продолжается до тех


пор, пока в д.н.ф.
IJЛ�v = a�fi�@11@2 ... @пV b·IS11q V ®\nj @1@2: .. @п V
(1.11)
V®�'J-]}@1@2 ... {fп-1 V · • • V ®:;+1.�@1:@2 V ®�+1,и.@1 V ®a��s
ни одна конъюнкция из
(fЬ ),n>(k=l, . . , е ) не пе­
ресекается с кqнъюнкция-
ми�;(п) (t=l,.
.
",р).Если
и �y (j=l, ... , q) не пе­
ресекается с конъюнкция­
ми второго или третьего
типа, то д.н.ф. ( 1.11) яв­
ляется формулой прово­
димости квазибесповто·р­
ной схемы 4.
Такими же рассужде­
ниями получим квазибес­
повторную схему и в том
случае, если все SS1 (j =

=1, . . . , q) пересекаются
с некоторыми конъюнк­
Схема 4. циями из '®k(k=l, . . . ,s).
О квазибесповторности релейно-контактных схем 251

5. Рассмотрим случай, когда между собою пересекаются конъюнк­


ции первого, второго и третьего типа. Полагаем, что

�11=12!;G:1, ... , 12!р = �I�G:1; ?811 = ?81' �1, . .., \Вq =1?8� Gr1;
'®1 =1®; @1, ... , ®"=1®�@1.
Тогда д.н.ф. (1.3) принимает вид

9)(6 =a\l( ;Р @:1VЬ?В ; q @1 V ®;а Gr1 V ®а+!, s· (1.12)


В Д.Н.ф. (1.12) КОН'J',ЮНКЦИИ sд; (i l, . .. , р) И Q); (j = 1, ... , q) МОГУТ
=

пересекаться с некоторыми конъюнкциями ®� (k = 1, ... , а). Выделим


их общую часть :(f2, преобразуем д.н.ф. (1.12) и т. д. После выделения
всех общих частей д.н.ф. (1.12) получит вид

1))1� = a12tf;) Q:11Gr� ... 1G\:n v b?S\�(;r11G\:2 . . : 1G\:n v ® \niG\:11G\:2 .. G\:n v


. . . . v 1®�+1, а G\:1 v
V®a+!,s• (1.13)
Если в д.н.ф. (1.13) не имеется пересечений конъюнкций, относящих­
ся к одной и той же группе, то д.н.ф. (1.13) является формулой прово·
димости квазибес:повторной схемы 5.
Теорема доказана.
П р и м е р 1. Методом
перебора легко устано-
вить, что д.н .ф . �п

f;= iiek VabcgVcdif V


VabёikVauvV w V g lk
имеет свойство А абсо­
лютно..
После применения
2лгоритма Трахтенброта­
Пильчак (алгоритма
Т.-П.) Г· 2] получим ква­ Схема 5.
зибесповторную схему:
1) условию последовательности удовлетворяют пары переменных:
а, Ь; а, с; Ь, с; с, d; Ь, d; и, v. Прлагаем
qi = аБС, qz = cd, q3 = bd, q4 = uv;
f = iiekVgq1 V glq2 V iikq3Viiq4 \fw Vglk
2) условиям параллельности удовлетворяют пары переменных: k, q2;
е, q3• Полагаем
q5=kVq2, q6ceVqз; ,

f = iikqвVgq1 VglqsViiq4 Vш.


3) условию последовательности удовлетворяют па ры переменных:
.k, qв; l, q5. Полагаем
1 lqs ;
q1 = k qв, qв =
f = iiq7Vgq1V gqs V iiq4V W.
!11

252 П. Хан.ко

4) условиям параллельности удовлетворяют пары переменных:


.q4, q1; q1,qв. Полагаем
qg = q4 v q1, q10 = q1 v qg,
f = aqgVgq10V w.
Д.н.ф. aq9 Vgq10V w реализуется схемой ба. После замены ребер .qg,
q10 соответствующими подсхемами получим схему бб.

Схема ба. Схема 66.

§ 2.

Пусть имеется д.н.ф.


9С = aU1p V b'i81qVabiI1r V ®1s, (2. 1)
в которой свойство А (а, Ь) нарушается, т. е. кроме конъюнкций первого
и второго типа она содержит хотя бы одну конъюнкцию типа abiI. Такая
д.н.ф. может или являться, или не являться формулой проводимости не-
. которой квазибесповторной схемы. -
П р и м е р 2. В д.н.ф.

f1(х, у, z, w)= xywVxy-zVyzwV xw


нарушается свойство А (х, у), но
она является формулой проводимо­
сти квазибесповторной схемы 7. Схема 7.

П р и м е р 3. В д.н.ф.

f2(x, у, z, w)=:tywV xyzwV ,ryw


нарушается, например, свойство А (у, w) и она не является формулой
проводимости никакой квазибесповторной схемы.
Естественно возникает вопрос, при каких условиях д.н.ф. вида
9'С1 = al2XV b'i8V abfE \1 ®, (2.2)
где 12! не содержит Ь, ?81 не содержит а и 1[, '® не содержат ни а, ни Ь,
rшляется форм�лой проводимости некоторой квазибесповторной схемы.
Для того , чтобы ответить на этот вопрос, исследуем квазибесповторную
реализуемость трехчлена
21 = aUVb:?S VabfE. (2.3)
О квазибесповторности релейно-контактных схе,н 253

Предположим, что � не пересекается ни с �' ни с JS. В противном слу­


чае, если (I имело бы общую часть, например, с �l(�I = '1!111� и � �i�),=

мы получили бы д.н.ф.

Если здесь ц олагать q=а�, то получим


,
2'1с q'1!1VЫSVqb r:J:,1;
т. е. д.н.ф. такого же типа, как и (2.3).

В д.н.ф. (2.3) конъюнкции �( и �· могут пересекаться. Пусть 1Д = llf1ffi


и 'f3. ::::.Q311SD. Пропуская индексы, получим д.н.ф.
53 = a'l!ffiVbmVabff. (2.4)
В дальнейшем мы исследуем квазибесповторную реализуемость
д.н.ф. (2.4) в самом простом случае, именно предполагаем, что 'д, [QJ" [, �
означают какие-то последовательно соединенные ребра в схеме, реа­
лизующей (2.4).
Примечание 2. Из условий параллельности •[2] следует, что
д.н.ф.
(2.5)

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


Те о р е м а 3. Д.н.ф. вида (2.4), в которой '1!$ 1, ·)8$ 1, 'J,$ 1,
�$ 1 и ни одна пара из конъюнкций �. :SS., �. 'J) не пересекаются, не
является формулой проводимости никакой такой квазuбесповторной
схемы, в которой ·�{, ·�, ([, 'J) ознацают последовательно соединенные
'
ребра.
До к а з а т е л ь с т в о. Из [1 · 2 ] известно следующее: д.н.ф. является
формулой проводимости некоторой квазибесповторной схемы тогда и
только тогда, когда применение к ней алгоритма Т.�П. кончится по­
строением этой схемы.
Применим алгоритм Т.--П. к д.н.ф. (2.4). В ней содержится шесть
булевых переменных а, Ь, �(, �. <r, '1J. Из шести ребер нельзя построить
неразложимой схемы [3]. Попытаемся построить разложимую схему.
Легко проверить, что ни!):акая пара переменных из а, Ь, \Д, §В, f.f., •ffi не
удовлетворяет условию последовательности. Необходимым условиям
параллельности удовлетворяют следующие пары переменных:

(IД, ?В), если d� с О и Ь'д =О;


(2(, <r), если �SD = О и Ь�{ О;
(iS, �), если �ffi = О и aiS =О.
Если полагать q1 ·= 'д V:iS, то (2.4) имеет вид
12' ·= aq1ffi Vbq1'1J Vab[. (2.6)
В д.н.ф. (2.6) пара переменных (q1, SD) удовлетворяет условию после­
довательности. Если в .(2.6) полагать q2 = q1ffi, то (2.6) имеет вид

'2' =
· · aq2 V bq2 V abf.f.,
которая относится к типу (2.5). Значит, квазибесповторной реализации
не существует.
�54 П. Ханко

Аналогично доказывается, что и в остальных случаях, т. е. если в


(2.4) полагается q=�V� или q=:'iSV(f,, или q=�·V5JJV([,тo не су­
ществует квазибесповторной реализации.
Итак, нам не удастся построить разложимой квазибесповторной
схемы с двухреберной подсхемой для д.н.ф. (2.4). Попытаемся по­
строить схему с пятиреберной подсхемой для (2.4). Необходимым усло­
виям вполне внутренней звезды [2] удовлетворяют следующие наборы
переменных:
(а, Ь,�);
(а, i>1, �), если ��= О;
( Ь, 'iВ, ([), если .'iВ!lr= О;
(21, .'!В, (f,), если �'iВ= О.

Из этих вполне внутренних звезд можно образовать шесть пятиребер­


ных подграфов
Г1 (а, Ь,�,(f,, �), Г2(а, b,1'il3',([, �),
Г 4 (а, Ь, i>I, 'iВ, ([), Гs(а,�,.'iВ,�,�),

Легко проверить, что ни один подграф не удовлетворяет условию под­


схемы квазибесповторной схемы [2], реализующей д.н.ф. (2.4).
Таким образом, синтез квазибесповторной схемы для (2.4) при по­
мощи алгоритма Т.-П. не удается. Это значит, чт.о д.н.ф. (2.4) не яв­
ляется формулой проводимости никакой квазибесповторной схемы.
Теорема доказана.
Т е оре м а 4. Д.н.ф. (2.4), в которой ни одна пара из конъюнкций
i>1, .'!В, (f,, �- не пересекается, является формулой проводимости такой
квазибесповторной схемы, в которой �. !'il31, ([, � означают последова­
тельно соединенные ребра, тогда и только тогда, когда выполняется па
крайней мере одно из следующих условий

1° �= 1, l!l1m= О;
2° (f,=1, WS= О;
3°�·=1, 'iВ�= О;
4°'iВ·=1, i>1�=0.

До к а з а т е л ь с т в о. До с т а т о ч н о с т ь. Легко увидеть, что в


случаях 1°-4° д.н.ф. (2.4) является действительно формулой. проводи­

+ф - ·Ф- +ф ·Ф-
мости квазибесповторных схем 8а, 8б, 8в, 8г соответственно.

� 111 \li (t
C'=i,W\S(I=O CS:= l, 9I'Zl=O �f = l, � Ci" =о 1).1 = l, wcs: =о

Схема 8а. Схема 86. Схема 8в. Схема 8г.

Н е о б х о д.и м о с т ь: Покажем, что д.н.ф. (2.4) не является форму­


лой проводимости никакой квазибесповторной схемы, если ни одно И3
условий 1°--4° не выполняется.
Теоремой 2 показано, что д.н.ф. (2.4) не является формулой прово­
димости квазибесповторной схемы, если

�(=\= 1, Q3 :о\с 1, � $ 1, ·:l) J= 1.


О квазибесповторности релейно-контактных схем 255

Пусть одна из конъюнкций 'Л, t\S, ff, � в д.н.ф. (2.4) равна единице,
причем условия 1°-4° не удовлетворены. Д.н.ф. (2.4) примет следую­
щИ:е формы:
1) :2,=a'l{Vb?SVab\f,, причем ��=!=О; (2.7)
2) 24=a>д�Vb'iS�Vab, причем�QЭ=l=О; (2.8)
3) 25=a�Vb'iS �Vab(f, причем �(I =1=0; (2.9)
4) 126= a'JJ; �Vb�Vab(f, причем 2{� =!=О. (2.10)
К:вазибесповторная нереализуемость каждой из д.н.ф. (2. 7), (2.8),
(2.9) , (2.10) доказывается применением к ней алгоритма Т.-П. Оказы·­
вается, что синтез при помощи этого алгоритма ни в одном случае не
кончится построением схемы.
Теорема доказана.
Перейдем к рассмотрению вопроса, при каких условиях д.н.ф.
9'2 = a��VЫ8�Vab.ff V® (2.11)
является формулой проводимости некоторой квазибесповторной схемы.
С л е д с т в ие и з п р и м еч а н и я 2. Д.н.ф.
inз= а51УVЫEN abffV ® (2.12)
ие является формулой проводимости никакой квазибесповторной схе­
мы.
С л е д с т в и е и з т е о р ем ы 3. Если в д.н.ф. (2.11) ни одна пара
из конъюнкций IД, )8, ff,, � не пересекается и 1Д =!= 1, ?В=!= 1, ff =!= 1,
� =!= 1, то д.н.ф. (2.11) -не является формулой проводимости никакой
такой квазибесповторной схемы, в которой �!, ?В, ff, � означают после­
довательно соединенные ребра.
С л едств и е и з т е о р е м ы 4. Если в д.н.ф. (2.11) ни одна пара
из конъюнкций IД, :?f5, ff, �. ® не пересекается и выполняется по край­
ней мере одно из условий 1°-4° теоремы 4, то д.н.ф. (2.11) является
формулой проводимости квазибесповторной схемы.
Именно, если ни одна пара из конъюнкций IД, '15, ff, �. ® не пересе­
кается, то д.н.ф.
(2.13)
в которой &�=О является формулой проводимости для схемы 9а;
д.н.ф.
ЭСs=aU�Vb5S� VabV ®, (2.14)
в которой �_\;\&=О, для схемы 96; д.н.ф.
ЭС6=a�Vb�V ab(f V ®, (2.15)
в которой ·QЭi(f=О, для схемы 9в; д.н.ф.
ЭС7 = а>д � V Ь� V abf,f,V ®, (2.16)
в которой �{(f=О, для схемы 9г.

Схема 9а. Схема 96. Схема 9в. Схема 9r.


�56 П. Ханко

Нам остается исследовать квазибесповторную реализуемость д.н.ф.


(2.13-16) в случаях, если некоторые из конъюнкций IJ{, QJ, (f, SD, ®
пересекаются. Для этого, чтобы ответить на этот вопрос, приходится
исследовать каждый из д.н.ф. (2.13-16) отдельно и учитывать все
возможные пересечения конъюнкций 2{, 63, �. SD, ®·
Начнем исследованием квазибесповторной реализуемости д.н.ф.
(2.13). Возможными пересечениями конъюнкций �. Q) (f, ® бывают:
' ,

1) ни одна пара из %{, QJ, �. (М. не пересекается, 2) W, QJ, �. ® пересе­


каются по два, 3) 21, 1.8, :{f, ® пересекаются по три и 4) все конъюнкции
U, QJ, (f, ® пересекаются между собою.
Т е о р е м а 5. Если в д.н.ф. (2.13) (f пересекается с ® (т. е. Cf=Cf1�
и '® @1:�), то д.н.ф. (2.13) не является форлщлой проводилюсти 1щ
=

одной такой квазибесповторной схемы, в которой 2!, QJ, Cf1, ®1, � озна­
чают последовательно соединеюtые ребра.
.
До к аз а т е л ь с т в о. Применим к д.н.ф.
(2.17)
алгоритм Т.-П. Оказывается, что синтез при помощи этого алгоритма
не кончится построением схемы. Этим и доказывается квазибесповтор­
ная нереализуемо'сть д.н.ф. (2.17) схемой, в которой Щ, 5.8, if1, ®1, �
означают последовательно соединенные ребра. Теорема доказана.
Образуем из членов д.н.ф.-ы (2.13) следующие д.н.ф.
9'41 = a2IV b'S V aMi, (2.18)
Эс42 = a2t VЫВ V �"9, (2.19)
9(:43 = аЩ Vab/J', V С';, (2.20)
Э(44= ЫВ V abCI V ®· (2.21)

п исследуем их квазибесповторную реализуемость. Если по крайней


мере одна из д.н.ф. (2.18-21) окажется квазибесповторно нереалИ3уе·
мой, то и (2.13) квазибесповторно нереализуема.
Т е о р е м а 6. Если в д.н.ф. (2.13) (f не m?ресекается с ® и д.н.ф.
(2.18-2!) являются фор.мулами проводи.мости некоторых квазибеспов­
торных схем, то и (2.13) является формулой проводилюсти квазибеспов·
торной схе1ны.
Д о к а з а т е л ь с т в о. К:аждый случай пе.ресечения конъюнкций IJГ,
'!3, (I, ® исследуется по следующему плану: 1) выделяются общие части
конъюнкций 21. 1.8, <r, ® и преобразуется д.н.ф. (2.13); 2) устанавли­
ваются условия, вытекающие из �шазибесповторной реализуемости
(2.18-21); 3) показывается, что эти vсловия достаточны для квазибес­
попторной реализуемости д.н.ф. (2.13)-.
Рассмотрим частный случай: 2{ пересекается с (2).
1. Пусть %(=�{1� н ®=®1'�. Д.н.ф. (2.13) имеет вид

ЭС�=а�{1� V Ь\.ВV abr.IV ®1@.


Предположим, что ни одна пара из 11{1, 58, �, ®1, 1� не пересекается.
2. Д.н.ф. (2.18) получит вид Э141= a�1t;rVb'SV аЬ[ и д.н.ф. (2.20) вил:
, ·=a�1�Vab�VCS)1•!2:. Если
9'C4з д.н.ф. (2.18) и (2.20) являются формулами
проводимости квазибесповторных схем, то по теореме 4 для д.н.ф. (2.18)
выполняется условие �Х1?81[{�;=О и для д.н.ф. (2.20) условие b2{1(f@1 =О.
О квазибесповторн.остu релейн.о-кон.тактн.ых схем 257

Д.н.ф. (2.19) получит вид ЭС'42 = a&1<,f V lJ'-8 V


V ®1(f и д.н.ф. (2.21) вид ЭС'44 = ЫS V аЬ([ V
Vr® 1@
1 . Так как д.н.ф. (2.19) и (2.21) имеют
свойство А абсолютно, то по теореме 2 они

являются формулами проводимости квазибес­
повторных схем.
3. Легко увидеть, что д.н.ф. (2.13) является
+��-
Схема 10.
формулой проводимости квазибесповторной
охемы 10, если только W1?S�lf =О и Ь2{1�®1 =О.
Так как исследование всех случаев идет по такому же плану, то
представим только результаты в виде таблицы 1. Этой таблицей и дока­
зывается теорема 6.

П р и м е ч а н и е 3. При составлении таблицы l предположено, что


([не пересекается ни с 2{, ни с 'iВ,· так как в случае пересечения �' напри­
мер, с & (&= W1&", <r·=<f1·@) д.н.ф,(2.13) примет вид

(2.22)
если здесь полагать q = a(f, то· получим д.н.ф.
IJI:;·= q&1 VЬ'iВ Vbq\f,iV@,
который имеет такой же тип, как и (2.13). Отсюда вытекает, что иссле­
дование д.н.ф. (2.22) сводится к исследованию д.н.ф. (2.13).

П р и м е ч а н и е 4. В таблице 1 отсутствуют некоторые случаи� на­


пример случай, когда 2{, 'iВ" � пересекаются между собою и имеют
общую часть (,f (&·=&1·@, 'i8=?.811(f, 1®=1®11@) . Д.н.ф. (2.13) примет тог­
да вид
(2.23)
и д.н.ф. (2.18) вид
(2.24)

Так как в общем случае ни одна из, конъюнкций &1, ·'i81, <r, •Gf не равна
единице, то по теореме 3 не найдется ни одной такой квазибесповтор­
ной схемы, в которой &1, '1.81, <r, ·@ означали бы последовательно соеди­
ненные ребра и формулой проводимости которой являлась бы д.н.ф.
(2.24). Отсюда следует, что и д.н.ф. (2.23) не является' формулой про­
водимости никакой такой квазибесповторной схемы, в которой W1, .'fВ1, <r, (,f
означают последовательно соединенные ребра.

Так как и в случаях:


i) пересекаются �{, 1.8, (f; &, ®·; 'iВ, 1® (U-= &1i®{�, 1®= 1.8'11®.р, (f =([1(,f,
®-= ®1\1,Р);
2) пересекаются W,<r,1®; 'iВ, ·® (W=W1@, 'iВ='i81�, <f-=(f1(f, &=1®1Щ�);
3) пересекаются W, 1'f8, (f; W, <r, r®; ?.81, <r, ·® (W = &11@\1, tSS = 'i811%, (f ·=
= <f 11®it{), ® ·= ®-1�.р);

не все д.н.ф. (2.18-24) являются формулами проводимости некого�


рых квазибесповторных схем, то и для д.н.ф. (2.13) не найдется такой
квазибесповторной реализации, в которой &1, �1, ([1, ® 1, 1@, \1, .р означают
последовательно соединенные ребра.
3 ENS.V ТА Toimetised Т-3 1963
258 П. Ханко

Таблица 1 lJ
го-
Ре з ульта,ты

исследования квазибесповторной ,реализуемости д.н.ф. (2.13)_ 6.

Условия, выте­
кающие из 'ква­ Схема, формулой прово­
№ С.пучай, вид д.н.ф. (2.13) зибесповторной димости которой является
реализуемости (2.13)
(2.18-21)

1. Ни одна пара из �.�.<r,® 12(�,(i:=O


не пересекается:
а 91 V Ь � V ablf V ®

8.

2. 91 пересекается с ®: �{ 1 11В (�>CJ:, = о


ь 911 (f ®1 =0
а 91� cr V Ь �VаЬ ffV ®1 CJ:,
9.

,1 91 пересекается с ®,
� пересекается с ®:

1
а 911 CJ:,Vb�1 �Vab(i:V®1 CJ:,� о:

4.
1 91, '$, (f пересекаются:
31
all(1 CJ:,V Ь�1 rJ:,Vabff.1 r.EV®

5. &, t:r, ® пересекаются: �{1 � ff1 =0


a�ff1 ®1=0
а 911 r.EVЬ �Vab{[1 r.EV®1 <,r

1
О квазибесповторн.ости релейно-контактных схел-� 259

. .
�/ 2 3 4

i
G. U, �. (;[ пересекаются; �Х1 "iВ1
<r11Q': g:=O
W пересекается с®: аЬ U1 'iВ1®1=0 +
а &1 ��V ь 'iВ1 ®Vab<r1 @ V Ь U1 <r1®1= 0
V@.i�

,
&, :@:® пересекаются; U1 'iВ@:1 g:=O
U пересекается с®: Ь &1 � 1®:1 �=О +
a'lI1 @�Vb'i8Vab0::1 Q':V®1@� а�О::1®1�=0

&, 'iВ, @:
' пересекаются;
�.v15El1@:1�=0
&,@:,® пересекаются:
. аЬ & 1 'iВ11®1 =0 +

а &1 �g:v Ь'iВ1@: VabrJ:,1@: �V


а ·'iВ\ <r1®1 =О
V®1�
":,!

9; &, �; ® пересекаются; &1 'iВ1 <r1 =0


'iВ, ([
. ,® пересекаются: аЬ &1 'iВ1®1=0
+ ,,.
а &1@Vb '81 �VaW1@: �V Ь �Х1 <r1 �1 �=О
V®1@� а�1 <r1 ®1 g:=O

а� \[{, l'iВ, О::, ® пересекаются: &1 '?811 <r1 �=0


а &1 @V Ь 'iВ1@: Vab 0::1@:V®1 Q': (!
+

Сформулируем результаты, полученные о квазибесповторной реали­


.:3у,ема1сти 'д.н:ф. (2.14-16).
Анал?гично теоремам 5 и 6 доказываются и теоремы 5' и 6'.
Тео р е м а 5'.
; I. Если в д.rt.ф. (2.14) )I) пересекается с ®·(;J)= 1 $I)1.(f и ®=·®1{f), то
1.jд.н.ф. (2.14) 1-le является форжулой проводилюсти ни одной такой квази­
;�бесповторной схежы. в которой\[{, 'iВ, $I)1, '@·1, ·(f. означают последовательно
� соединенные ребра;
! 2. Если в д.н.ф. (2.15) ).8, пересекается с@,@: с $I) и® с )I).(�·=�1�,
<r1=.0::1g:, �=� 11�.1), ®=@1i(f�)), то д.н.ф. (2.15) не является формулой
проводимости тш одной такой квазибесповторной схемы, в которой
7i'iВ11,<r1, )I)1,'®1, {f, ·g:, Sj означают последовательно соединенные ребра;
з•
260 П. Ханко

3. Если в д.н.ф. (2.16) & пересекается с'®,� с ';rJ и �, с ;rJ (1?{ =И11@:,
rr=<r1�, SD1=5D1�1, ®= ®1{f�) , то д.н.ф. (2.16) не является формулой
проводимости ни одной такой квазибесповторной схежы, в которой
?!{1, rr1, SD1, ®1, 1(r, 'i1f, S,) означают последовательно соединенные ребра.

Итак. по теореме 5' д.н.ф .


. Э1'5=a�lSD11i;rVb1QЭl'1)1�V qb V ®тi;r, (2.25}
Э1'6 =aSD1��Vb?S15D11fE�,P Vaы� ;j} V®1, @�, (2.26)
Э1'7 = d%1::D1�%1.P VbSD100Vabrr1'i1§V ®11(r(p (2.27)

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


ной схемы, в которой �I, �11, SS, \.81, {I1, ®1 , 1(;\;, �. S,) означают пЬследователь-
но1 соединенные ребра.
Те о р е м а 6'.
1. Если в д.н.ф. (2.14) SD не пересекается с ® и д.н.ф.-ы Э(51 =
а\[(1) VЬl'i8Ф V аЬ; Эё52 = a'*SD V bl.81;rJ V ®
1 ; Wsз =a'l(<;D V аЬ V ®; \)(54 =
= MSiSD V аЬV® являются форжулами проводщлости некоторых квази­
бесповторных схеж, то и д.н.ф. (2.15) является форм.улой проводижости
квазибесповторной схел1ы;
2. Если в д.н.ф. (2.15) 1.8 не пересекается с �. � с $ и SD с·� и д.н.ф-ы
9(61 =a<;D V b'i8SD Vabff; 9Св2 = aSDV b\.БSD V ®; ЭСвз ·= aSDV аЬ\& V ®; Э1в4=
= b:?Sl;rJ VabfJ:.. V ® являются форжулажи проводимости rtекоторых . квази­
бесповторrtых схем, то и д.н.ф. (2.14) является форжулой проводимости
квазибесповторной cxefl!iы;
3. Если в д.н.ф. (2.16) '2{ не пересекается с ®,<:r с SD и SD с 1® и д.н.ф.-ы
9111 a12tSDVbФ Vabfl.; Э112 =a)2{5DV bSD V®; 9Ъз = al?lSD V abl&V®; Э'/:141=
=

= b<;D Vab(f. V ·® являются форо-иулами проводимости некоторых квази­


бесповторных схеж. то и д.н.ф. (2.15) является формулой проводижоспi
квазuбесповторной схемы.

Обобщим теоремы 6 и 6' на д.н.ф.


�Л=a\!C1pVb�1qV aW,,V®1s· (2.28)

Те о р е м а 7. Если д.rt.ф. (2.28) не содержит квазибесповторно не­


реализуемых многочленов вида (2.17, 25--27) и все д.н.ф., полученные
из членов д.н.ф. (2.28), в кожбиrtации по три, являются формулами про­
водимости некоторой квазибесповторной схемы, то и д.н.ф. (2.28) яв­
ляется формулой проводимости некоторой квазибесповторной схемы.

Пр и м е р 4. Является ли д.н.ф.

f(a, Ь, с, d)=bёdVabdV acdVabcdVabc


I II Ш IV V

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


ответить на этот вопрос, исследуем квазибесповторную реализуемость
д.н.ф" полученных из членов данной д.н.ф" комбинируя их по три,
О .квазибесповторности релейно-контактных схем 261

1) I VП V Ш: bёdV aЬdV acd = d(b cV аЬ V ас).

Пусть �1>= Ь, QJ = Ь, <\'f =1, '.�}=1. Выражение в скобках квазибес­


повторно реализуема по теореме 4, так как �·= 1 и �)В'(;f =О.

2) I V П V Ш: bcd V ahd V abcd.


'Il·=iib, >З=асd. [=с, �=1. (Удовл. усл.1°теоремы4).
3) V II V V: b cd V аЬd \! аЬс;
�'= Ьс, 'i& =ас, (;[ = ii, �=1. (Удовл: усл. 1° теоремы 4).
4) I V Ш V IV: b cd V acdV abcd;
�=
· ii, )В·= acd, <r= 1, ·�=1. (Удовл. усл. 1° теоремы 4).
5) I V Ш V V: bcdV acdV аЬс.
Ни одна пара переменных не нарушает свойства А.
По теореме 2 д.н.ф. квазибесповторно реализуема.
6) I V IV V V: bёdV abcd V аЬс;
2{1= ёd, 'i&= Ь, <r= d, �= 1. (Удовл. усл. 1° теоремы 4).
7) II V Ш V IV: iibdV acdV abcd. (Удовл. у сл. теоремы 2).
8) II V Ш V V: abd V aёdV аЬс;
�·=ас, 'i&=ё, [=1, �=1. (Удовл. усл. 1° теоремы 4).
9) II V IV V V: аЬd V abcd V аЬс;
�,{ = ad, 'i&= bd, [ = 1, � = 1. (Удовл. усл. 1° теоремы 4).
10) ш V IV \! V: aёdV abcd V аЬс. (Удовл. усл. теоремы 2).
Итак, все д.н.ф., полученные из членов дан­
ной д.н.ф., в комбинации по три, удовлет­
воряют условиям теорем 2 или 4. Значит,
они все квазибесповторно реализуемы. Тог- +
да и данная д.н.ф. квазибесповторно реа­
Jшзуема. Легко увидеть, что она является
формулой проводимости квазибесповторной
схемы 11. Схема 11.

ЛИТЕРАТУРА
1. А. Тр а х т е н б р о т, К: теории бесповторных контактных схем. Тр. Матем. 1111.­
Б.
та им. Стеклова АН СССР, 51, 1958, 226-269.
2. Ю. Пи ль ч а к, О синтезе квазибесповторных схем. Проблемы кибернетики,.
Б.
вып. 3, 1960, 95-122.
3. А. В. К: у з н е ц о в, О бесповторных контактных схемах и бесповторных суперпо­
зиций алгебры логики Тр Матем ин-та им Стеклова АН СССР, 51, 1958_
186-225.
Институт кибернетики Поступила в редакцию
Академии наук Эстонской ССР 17. XII 1962

1
ь
262 П. Ханко

RELEE-KONTAKTSKEEMIDE KVAASIKORDUMATUS

Р. Hanko

Resйmee

Artikli esimeses osas antakse piisav tingimus selleks, et antud loogilihe valem o\eks
kvaasikordumisteta skeemi juhtivusvalem. Artikli teises osas kiisitletakse \oogiliste vale­
mite kvaasikordumisteta realiseeritavust juhul, kui nimetatud tingimus ei о!е tiiidetud.

Eesti NSV Teaduste Akadeemia Saabus toimetusse


Kйberneetika !nstituut 17. XII 1962

ON ТНЕ QUASINONREPEТITIONALIТY OF RELAY-CONТACT SCHEMES

Р. Hanko

Summary

In the first part of the paper а sufficient condition is given that the logical formula
under consideration is the switching function of а quasinonrepetitional scheme. The second
part dea\s with the quasinonrepetitional realization of s\1•itching functions \Vhen this
condition is not satisfied.

Academy of Sciences of tfte Estonian S.S.R., Received


!nstitute of Cybernetics Dec. l 7th, 1962