![](/user_photo/_userpic.png)
книги из ГПНТБ / Рябинин И.А. Надежность судовых электроэнергетических систем и судового электрооборудования учебник
.pdf3. Преобразуем уравнение (6.82) с учетом (6.83) к ОДНФ: |
|||
\/Kt |
= \Ki |
| . |
(6.84) |
1 - 1 |
' Ki |
Кг |
|
|
Ki |
Кг Къ |
|
|
Ki |
Ко Кз Ki |
|
4. Отрицания элементарных конъюнкций К\ выразим с помощью
преобразования |
(6.74): |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
Ki |
= |
4 |
= |
xi |
|
|
; |
|
|
|
|
(6-85) |
|
|
|
|
|
4 |
|
xi x'a |
|
|
|
|
|
|
||
|
|
|
|
|
4 |
|
Xi |
Хз |
Xs |
|
|
|
|
|
|
|
|
|
Кг |
|
4 |
= |
хг |
|
|
; |
|
|
|
|
(6-86) |
|
|
|
|
|
4 |
|
Хг |
Л'4 |
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
Xl |
А'г| Л'б |
|
|
|
|
|
||
|
|
|
= |
х'\ |
= |
xi |
|
|
|
|
|
|
|
|
(6.87) |
|
|
|
|
4 |
|
Xi |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
Xl |
Хз |
4 |
|
|
|
|
|
|
|
|
|
|
|
4 |
|
Xi |
Хз |
Х4 |
Л'б |
|
|
|
|
|
|
|
|
|
|
4 |
|
Xl |
А'з А'4 А'б |
4 |
|
|
|
|
|
||
5. Определим |
теперь |
следующие |
конъюнкции: |
|
|
|
|
||||||||
К1Кг • |
Xl |
|
|
|
Хг А'4 Хб | |
|
А'1 |
Хг |
Х\ А'б |
|
|
|
(6.88) |
||
|
Xl |
Хз |
|
|
|
|
|
Xl |
Хг |
Хз Xj |
Хб |
|
|
||
|
Xl |
Хз |
4 |
|
|
|
|
|
Xl |
А'2 |
А'з А'4 |
Х5 Хб |
|
|
|
К{КгКз = |
|
4 |
|
|
|
хг |
|
|
• | А'1 |
Хз Л'4 |
А'б Хз | |
= |
|||
|
|
Xl |
х'з |
4 |
|
хг |
4 |
|
|
|
|
|
|
|
|
|
|
Xl |
Хз |
|
А'о |
А'4 А'б |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
/ |
|
• |
|
|
|
|
|
|
(6.89) |
|
|
|
|
|
X 1X2X3X4X5.V6X |
|
|
|
|
|
|||||
КуКгКзК* |
|
х[ |
|
|
• |
х.г |
|
|
|
|
|
|
& |
||
|
|
|
|
Xi |
А'з |
|
|
х2 |
х\ |
|
|
|
|
|
|
|
|
|
|
Xl |
х3 |
х5 |
|
х2 |
ХА Хд |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
х 1 |
х 3 |
х.( |
хб |
|
|
|
|
|
|
|
|
|
|
|
|
Xi |
Х 3 |
X.j |
XQ |
X S |
|
|
& IXoXgX^XgXg |
— |
XjX2XgX^XgXgXg I |
|
|
|
(6.90) |
11 И . А . Р я б ш ш п |
161 |
6. Подставляя (6.88)—(6.90) |
в |
(6.84), |
окончательно получаем |
|||
|
x3 |
Хъ |
|
|
= Ог |
|
х[ x2 |
-V-4 xG |
|
|
o 2 |
||
Xl |
|
х'г |
x.i x6 |
|
03 |
|
Xl |
X-2 |
х г |
xA X'BX6 |
|
o A |
|
Xl |
X2 |
x3 |
xA |
x's x6 |
x& |
|
х\ Xn x3 |
x.x x s x6 |
Xs |
o 6 |
Как видно из уравнения (6.91), все члены этой дизъюнкции дей ствительно попарно ортогональны. Уравнение (6.91) по внешнему виду сильно отличается от уравнения (6.66), тем не менее оно при водит к тем же самым количественным результатам.
Действительно, согласно формуле (6.80), имеем
Р [z = 1} = |
ЗДЯ5 -|- Q&RiRt |
+ R&Q&Rt |
+ |
+ R&R&QsRe |
+ R&R&QbRaRs |
+ QiRnRaRiR&QoRs- (6.92) |
При одинаковой надежности всех элементов вероятность безотказ
ной работы |
системы будет |
равна |
|
|
|
Р | у = 1} = |
Я с = R [R3 -|- (1 - |
R) R3-\- R* (1 - |
R) /?* + R* (1 - |
R) R + |
|
+ |
R{\ -R)Rt(l |
|
+ |
-R)R] = |
|
|
= 2Ri-ir2R6 |
— 5R', + 2R8, |
(6.93) |
||
что полностью совпадает с решением (6.71). |
|
|
|||
Табличный метод расчета надежности СЭС. Практика |
расчетов |
||||
надежности |
СЭС, насчитывающих |
не более |
20 элементов, |
описан |
ными выше методами показала, что в ряде случаев эти логические преобразования бывают весьма громоздкими, а число слагаемых в формулах (6.68) и (6.80) нередко превышает 100. При небольшом числе (d < 10) членов ДНФ функции у (6.38) указанные затруднения удается преодолеть с помощью табличного метода расчета надеж ности СЭС.
Этот метод основан на использовании теоремы сложения вероят ностей совместных событий, в качестве которых здесь непосредственно выступают элементарные конъюнкции условий работоспособности (или неработоспособности) системы, записанных в ДНФ с помощью
кратчайших путей успешного функционирования |
(6.38) |
||
у(х1,х2,...,хт)= |
V ^ |
|
(6.94) |
или минимальных сечений отказов (6.39) |
|
|
|
У'(х1,х2,...,х,п)= |
V Sj. |
. |
(6.95) |
|
/=1 |
|
|
162
Согласно этой теореме и выражениям (6.94) и (6.95) вероятность безотказной работы системы (или вероятность ее отказа) можно вы числить по формулам
Р |
|
• • •, Хт)= 1} = # с |
= -Р { V x ^ i j = |
||
= S W ) |
-ЪЪР№I&<?,) |
+ 2 S D P { i \ & # / & o f k ) |
|||
i |
i i |
|
i |
i k |
|
|
\-{—\)*-iP($>1&$ii&...&&d)- |
(6.96) |
|||
P \У(Хи |
x,n) = 0}=Qc |
= P { v S,j |
= |
||
= £ ^ (st) - |
E E P (SF & S;) + |
2 E S -P (S, & S;- &SA) |
|||
' |
i i |
|
I I |
It |
|
|
. . . |
+ ( _ l ) « - i p ( S 1 & S 2 & - . - & S l l ) , |
(6.97) |
где знаки суммы распространяются на различные значения индек сов i, j , k.
Несмотря на кажущуюся громоздкость формул (6.96) и (6.97), расчеты надежности с их помощью оказываются достаточно простыми и легко контролируемыми. Для этого предлагается производить расчеты в табличной форме, чем и объясняется название данного ме тода расчета.
Согласно этому методу необходимо составить' специальную таб лицу, в которой нужно разместить т строк (по числу элементов в си
стеме) |
и С столбцов, причем |
|
|
|
|
|
|
|
C = Cd + Cd-\- |
. . . + |
Cj Н |
Yd |
(6.98) |
где С* — число |
сочетаний из |
d по |
k. |
|
|
|
В |
названиях |
строк указываются |
вероятности |
безотказной ра |
боты элементов RXk (или вероятности их отказов QXk), а в названиях столбцов записываются все возможные сочетания конъюнкций аРг (или Sj), взятых по одной, по две, по три и т. д. Кроме того, указы ваются знаки вероятностей этих конъюнкций («+» или «—»), чере дующиеся в соответствии с формулой (6.96) или (6.97). Указанную таблицу следует заполнить крестиками и черточками, причем крести ками отмечаются вероятности тех событий, которые входят в данную конъюнкцию, а черточками — вероятности событий, отсутствующих в ней.
Табличный способ вычисления удобен по двум |
причинам: |
1) автоматически осуществляется умножение |
логических пере |
менных самих на себя согласно тождеству |
|
x k & x k & - . . & x k = x k ; |
(6.99) |
2) взаимно уничтожаются многие одинаковые конъюнкции, ве роятности которых имеют различные знаки.
И* |
163 |
Для сравнительной иллюстрации затрат времени на вычисление
вероятности Р {у (xlt х2, . . ., |
x1G) = |
1| |
для ФАЛ вида |
||
Х\ |
Х3 |
Ag Ху |
|
(6.100) |
|
Х2 |
Х± Х е |
Xg |
|
|
|
Х1 |
Хд |
ХЦ |
Х13 |
|
А ' 1 6 |
Л'а |
Х10 |
Х12 |
Хц |
Хт |
|
Х1 |
Х3 |
Л'4 |
Л',) |
Xs |
Л ' 1 0 |
Хо |
А'д |
, Y 4 |
Х 5 |
Х7 |
Х1П |
приведем данные о затрате времени одним и тем же специалистом при использовании трех рассмотренных методов: 40 ч (алгоритм разрезания), 25 ч (алгоритм ортогонализации), 5 ч (табличный метод).
Пример 19. Решим ту же самую задачу, которая уже рассматри валась в предыдущих примерах 17 и 18, причем за исходное условие работоспособности примем функцию (6.40), записанную в повтор ной дизъюнктивной нормальной форме. Будем считать для простоты надежность всех элементов одинаковой и равной Rxk = 0,9.
Для |
решения задачи составляем |
табл. 30, |
как описано |
выше, |
|||||||||||||
и заполняем ее в такой последовательности. Сначала |
проставляем |
||||||||||||||||
крестики в столбцах, соответствующих |
путям успешного функциони- |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица |
30 |
|
|
|
|
|
|
Таблица |
для расчета |
надежности |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
CO |
Si |
% |
sT |
Si |
|
|
|
|
|
|
|
|
|
|
|
|
|
Si |
CO |
|||
|
|
|
|
|
со |
|
8> |
CO |
Si |
CO |
** |
Si |
Si |
Si |
CO |
Si |
Si |
|
|
|
|
|
|
Si |
Si |
Si |
H |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
CO |
|
|
|
|
Si |
Si |
Si |
Si |
T-t |
sT |
sT |
Si |
CM |
CO |
Si |
Si |
Si |
CM Si |
|
|
|
|
|
|
|
|
Si |
|
|
|
Si |
Si |
|
|
Si |
Si |
«•—» |
|
|
|
|
|
|
|
|
« —» |
|
|
|
|
«+» |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
15 |
RX1 |
= |
0,9 |
X |
X |
|
|
X |
X |
X |
X |
X |
|
X |
X |
X |
X |
X |
Rx2 |
= |
0,9 |
— |
— |
X |
X |
— |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
Rx3 |
= 0 , 9 X X — |
X X X X X X X X X X X X |
|||||||||||||||
Ял-4 |
= |
0,9 |
— |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
Rx& |
= 0 , 9 X |
|
|
X X X X |
|
X X X X X X X |
|||||||||||
Rxe |
= |
0,9 |
|
X |
X |
|
X |
X |
|
X |
X |
X |
X |
X |
X |
X |
X |
Rx7 |
= |
0,9 |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
Rxs |
= |
0,9 |
|
X |
|
X |
X |
|
X |
X |
X |
X |
X |
X |
X |
X |
X |
|
|
|
0,94 |
0,9° |
0,9* |
0,96 |
0,97 |
0,9' |
0,97 |
0,97 |
0,97 |
|
0,9s 0,98 |
|
|
164
рования системы по уравнению (6.40). Затем последовательно за полняем следующие столбцы, например пятый согласно функции
2 = (х^Х^Х^Ху) & (Х^Х^Х^Х^Х^Х^) = XyXgX^X^XgX^Xg.
Заполнив всю таблицу крестиками и черточками, вычеркиваем те
одинаковые конъюнкции, |
которые |
вошли в нее с разными знаками |
(в табл. 30 это, например, |
столбцы |
9, 11, 14 и 15-й). |
Теперь можно приступить к вычислению вероятности безотказ ной работы системы, перемножая в каждом столбце те вероят ности RXk, которые оказались отмеченными крестиками.
При одинаковой надежности элементов (что имеет место в рассма триваемом случае) расчет существенно упрощается, так как сводится к непосредственному подсчету степеней R в полиноме
Rc = 2R* + 2R* — 5R7 + 2Ra, |
(6.101) |
который тождественен (6.71) и (6.93).
Схемно-логический метод расчета надежности СЭС. Рассмотрим теперь четвертый метод расчета надежности СЭС. Он основан на обобщенной теореме разложения произвольной функции алгебры логики по любым / аргументам
= V |
* № - • • * ? ' / К |
а2,- • |
• .,хт) |
(6.102) |
и использовании |
специальной |
релейно-контактной |
схемы (РКС), |
являющейся наглядной графической моделью условий работоспо собности исследуемой системы.
Использование схемно-логического метода преобразования ФАЛ для расчета надежности СЭС позволяет найти вероятность безотказ ной работы системы значительно быстрее, чем применение предыду щих методов. Это объясняется тем, что в данном методе использу ется разложение повторной ФАЛ не по одной букве, а сразу по целой комбинации повторяющихся аргументов и, кроме того, все преобра зования проводятся по РКС, что дает возможность избежать многих промежуточных проебразований, неизбежных при других методах ортогонализации.
f На РКС каждый элемент изображается электрическим контактом, |
||
а провода, связывающие элементы, заменяют |
логические |
операции |
И (&)л и ИЛИ (V)- При таком изображении РКС она всегда |
получа |
|
ется в виде последовательно-параллельных |
контактных |
цепей (а |
не мостиковых структур!) с многими повторяющимися контактами. РКС дает наглядное представление о комбинации «выгодных» переменных, по которым следует делать разложение ФАЛ, и о наиболее целесообразной последовательности' преобразований, которая при
водит схему к простейшему виду.
Для упрощения графической части работы условимся контакты на схемах не изображать и обозначать не буквами xt (замыкающий)
165
и x'i (размыкающий), а просто их номерами: i (замыкающий) и г" (размыкающий), как это показано на рис. 47, а.
На рис. 47, б — и дана графическая иллюстрация некоторых соотношений алгебры логики с помощью релейно-контактных схем. Например, на рис. 47, б показано преобразование РКС, соответ ствующее операции склеивания, которая записана справа от схемы.
IL
S)1—2т I3 T
S) - ~"T:
|
1 — 2 - 1 |
|
2~T3~t~ |
x,x,XiVx,x,Xf- |
|
|
|
~'T |
|
X,XI...XI = I I |
|
|
i — |
2—Ь- |
: |
L J |
=x,Xi(x,Vz*) |
|
|
1 • |
|
|
j,Vr,V ... Vj,=x, |
|
|
4 |
|
|
|
ж) |
1 |
— 1'- |
|
|
х,т!=в |
3) |
|
|
|
|
x^x',^1 |
Рис. 47. ^Графическая иллюстрация некоторых соотношений алгебры логики с помощью релейно-контактной схемы (PKQ.
Преобразования РКС, показанные на рис. 47, в яг, соответствуют операциям поглощения и вынесения за скобки. Преобразования РКС, показанные на рис. 47, д и е, позволяют заменить группу последо вательно или параллельно соединенных контактов, имеющих один и тот же номер, одним контактом. Смысл преобразований, пока занных на рис. 47, ж—и, понятен без пояснений. Следует только отметить, что постоянно разомкнутая цепь обозначена на рис. 47, ж нулем, а постоянно замкнутые цепи на рис. 47, з и и— римской цифрой 1, чтобы отличать такую цепь от контакта с номером 1.
166
После этих замечаний сформулируем алгоритм схемно-логичес- кого метода преобразования ФАЛ для расчета надежности СЭС:
1. По условиям работоспособности системы, записанным в ДНФ, изображаем релейно-контактную схему. При этом контакты, вхо дящие одновременно в несколько параллельных цепей, выносим в общую для них последовательную цепь.
2. Выбираем для вынесения в последовательную цепь такую комбинацию контактов, которая обеспечивает размыкание всех или большей части параллельных цепей РКС. Опыт расчета надеж ности СЭС показывает, что при числе параллельных цепей не более 20 для их одновременного размыкания обычно достаточно комбинации, состоящей из двух—пяти контактов. После вынесения группы из г контактов РКС распадается на 2Г параллельных схем.
3. В каждой из 2Г полученных параллельных схем производим преобразования, вытекающие из теоремы разложения (6.102), а именно: контакты, одинаковые с вынесенными, замыкаем, а отрицания вынесенных контактов размыкаем.
4.В схемах, полученных в результате преобразований, удаляем все разомкнутые цепн и заменяем все группы контактов, оказавшиеся короткозамкнутыми, проводом (линией). Кроме того, контакты, имеющиеся во всех параллельных цепях, выносим в общую после довательную цепь, а цепи, поглощаемые другими, параллельными им цепями, удаляем.
5.Изучаем каждую из 2Г преобразованных как указано в п. 4 схем (последовательная цепь, состоящая из г контактов и контактов, вынесенных в эту цепь дополнительно, не рассматривается).
Если схема оказалась постоянноразомкнутой, то она из дальней шего рассмотрения исключается.
Если схема оказалась постояннозамкнутой, то она дальнейшим преобразованиям не подвергается.
Если схема оказалась бесповторной, то на этом процесс ее пре образования также заканчивается. Бесповторную функцию, соответ ствующую данной схеме, записываем в конъюнктивной форме.
Если схема не является бесповторной, то переходим к п. 2 и производим дальнейшие преобразования в соответствии с пп. 2, 3, 4 и 5.
6.По полученным в результате преобразований схемам записы ваем ФАЛ.
7.От ФАЛ переходим к вероятностной функции и по ней вычисляем вероятность безотказной работы системы как вероятность равенства ФАЛ единице.
Переход от ФАЛ, полученной в результате преобразований (пп. 1—6), к вероятностной функции осуществляется по следующим правилам:
1) каждая буква в ФАЛ заменяется вероятностью ее равенства
единице, |
причем |
|
Р [х: |
= 1} = R- Р[х\=\]=Р |
[х, = 0)- = 1 - R t = <?,.; (6.103) |
167
2) отрицание функции заменяется разностью между единицей и вероятностью равенства этой функции единице; например,
|
Р |
{/(л-р. • -,х7) |
= |
{(х{х2у |
|
(х3хА)'[х5(х'6х'7)']')' |
= 1) |
= |
||
|
= |
1 _ (1 _ R l |
R i ) |
(1 _ |
R |
^ |
) [1 _ R5 (1 _ |
Q6Q7)J ; |
(6.104) |
|
3) |
знаки |
логического |
умножения и сложения заменяются зна |
|||||||
ками |
арифметического |
умножения |
и сложения: |
|
|
|||||
|
|
Р \к |
= |
& х |
р |
) |
= UP[xfi}; |
|
(6.105) |
|
|
|
( |
|
i = l |
J |
|
<=1 |
|
|
|
|
|
P\D= |
V |
|
= £ |
^{Я,}, |
|
(6.106) |
||
|
|
|
I |
' = 1 |
J |
i=i |
|
|
|
|
где |
.V™'" — события, |
независимые |
в совокупности; |
|
||||||
|
Kt — ортогональные |
конъюнкции; |
|
|
||||||
п = 2Г— число параллельных |
схем РКС. |
|
|
|||||||
На |
этом |
и заканчивается |
описание |
данного |
метода. |
Учитывая, |
однако, широкое использование в нем перехода к конъюнктивной
форме ФАЛ, сформулируем еще одно полезное |
предложение. |
|
||||||||||||||||
|
Вероятность |
равенства |
единице |
|
функции |
f |
( х ь |
. . . ,.vm ), |
пред |
|||||||||
ставленной в произвольной бесповторной форме, |
можно |
находить |
||||||||||||||||
по |
ее конъюнктивной |
форме, |
полученной |
применением |
теоремы |
|||||||||||||
де |
Моргана. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть, |
например, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
/ |
(*р |
• |
|
Xi |
(Х,_ |
V |
* 3 |
V |
Х\) |
\J Хъ |
( X G V |
XjX'u) |
|
|
||
и |
требуется |
найти |
Р [f (xlt. |
. ., |
х 8 |
) |
= |
1}. Так |
как эта |
функция |
||||||||
является бесповторной |
(хотя |
и не ДНФ), то |
|
|
|
|
|
|||||||||||
|
|
f(xv- |
. .,х8) |
= |
{{х, [х'2х'гх4]'}' |
|
[х5 |
|
[хв(х7х'й)']'}'}'. |
|
|
|||||||
|
По формуле |
(6.29) |
имеем |
|
|
|
|
|
|
|
|
|
|
|
||||
|
P\f(x1,---,xa)= |
|
1} = i - { l - / ? i [ l - Q 2 Q 3 / ? 4 l H l - |
|
||||||||||||||
|
|
|
|
|
— i?B [ 1 — Qe (1 — /?7Q8)] К |
|
|
|
|
|||||||||
|
Пример 20. Решим задачу, |
рассмотренную в примерах 17, 18 и 19 |
||||||||||||||||
схемно-логическим методом расчета надежности. |
|
|
|
|||||||||||||||
|
По ФАЛ (6.40) на рис. 48 построена |
релейно-контактная |
схема, |
|||||||||||||||
в |
которой |
контакты |
7, |
имеющиеся |
|
во |
всех |
Параллельных |
цепях, |
вынесены в общую для них последовательную цепь. Кроме того, вынесены в последовательную цепь контакты 1, 3 и 2, 4.
168
В соответствии с алгоритмом преобразования применим разло жение схемы по контактам (переменным) 5 и 6, которые входят во все параллельные цепи. Так как число г выносимых контактов равно двум, то можно составить четыре ортогональные конъюнкции
XgXg, XgXg, XgXg, XgXg.
Результат разложения схемы, представленной на рис. 48, показан на рис. 49. При вынесении контактов 5' и 6' и размыкании в схеме на рис. 48 контактов 5 и 6 схема превращается в постоянноразомкнутую цепь (схема /) . Схемы / / и / / / на рис. 49 после вынесения контактов 4 и 3 в общую
последовательную цепь с кон |
|
|
•1—J-t-«- |
||||
тактами 5', 6 и 5, |
6' |
соответ |
|
|
|||
l) |
s'—c'- |
|
|||||
ственно |
становятся |
беспо |
|
||||
вторными. В схеме IV на |
|
|
|
||||
рис. 49 контакты 4, 8 и 3, 8 |
|
|
3- -S-> |
||||
оказались |
короткозамкнуты- |
|
|
||||
ми, и оставшаяся часть схемы |
|
|
<ь—8- -7 — |
||||
после удаления |
этих |
контак |
|
|
|||
|
5'— S Г |
" |
|||||
тов будет |
также |
бесповтор |
Ж) |
||||
ной. |
|
|
|
|
|
•В'—г-1—3— |
|
|
|
|
|
|
|
||
|
|
|
|
|
Ш) |
5 |
l—p — 3 — i |
•1—3- |
|
|
|
|
|
|
I |
|
|
|
5- |
|
|
|
•2 — 3 X |
|
|
|
|
|
|
|
|
|
|
|
|
|
Ж) |
5—tf"—f— Г -—3 |
|
|
|
|
|
|
|
|
2—^-^-3—8-4 |
1-2- |
•3 |
—5—8-1 |
|
|
|
||
Рис. 48. Релейно-коитактная схема |
Рис. 49. |
Графическая иллюстрация разложе |
|||||
функции |
(6.40). |
|
ния схемы, приведенной на рис. 48, по аргу |
||||
|
|
|
|
|
|
ментам Хъ, хе. |
По схемам II, III и IV рис. 49 запишем ФАЛ (6.40) в виде суммы трех ортогональных слагаемых, заменив цифры соответствующими переменными:
У ( Х Ъ Х2>- • • ! х8) — Хд |
Х5 XQ |
Л7 |
|
|
(6.107) |
|
|
|
Хх |
Х3 |
Xg |
Х3 |
Xg XQ |
X*] |
|
|
|
|
|
|
Х 2 |
Х 4 |
Х3 |
Х5 |
XQ Х7 |
Х\ |
Хд |
|
|
|
|
Х 2 |
Х4 |
|
|
169
Теперь бесповторные ДНФ в каждом слагаемом запишем в конъ юнктивной форме:
|
У{х\, х2, |
|
|
х&) = |
х4х5х§х7 |
[х2 ( X j X j X g ) |
J |
(6.108) |
||||
|
|
|
|
|
|
х3 х5 х6 х7 |
[xi (х2х4х%) |
j |
|
|||
|
|
|
|
|
|
< W ^ [ ( X l X 3 ) ' ( X 2 X 4 ) ' ] ' |
|
|||||
откуда |
имеем |
|
|
|
|
|
|
|
|
|
|
|
|
P \У (xlf |
. . xs) = 1} = Rc = RAQ5ReR7 |
[1 — |
|||||||||
|
- Q 2 |
( i |
- |
|
RiR3Rs)l |
|
+ RsRbQeR, |
П — |
|
|||
|
— Q i (l |
RtRtRa)] |
+ RbReRAl |
— (1 — RiR3) |
x |
|||||||
|
|
|
X (1 — |
R2R4)). |
|
|
|
|
(6.109) |
|||
При |
условии Ri = R2 |
|
= . . . = Rs = R |
получим |
|
|||||||
|
= 2Д* + |
|
2Re — 5R7 + 2#8 , |
|
|
(6.110) |
||||||
что совпадает с (6.71), (6.93) и (6.101). |
|
|
|
|
|
|||||||
Пример 21. Решим |
теперь более сложную |
задачу, |
записанную |
|||||||||
с помощью ФАЛ (6.100). Изучая функцию у (xlt |
. . ., х 1 0 ), нетрудно |
|||||||||||
заметить, что конъюнкции х9х1хх13 |
и х10х12х1Л |
|
входят только в третье |
|||||||||
и четвертое слагаемые логической суммы. |
Поэтому целесообразно |
|||||||||||
ввести |
следующие |
обозначения: |
|
|
|
|
|
|
|
|||
|
ХаХцХ13 — Zg] X 1 |
0 X 1 |
2 |
X j 4 — |
2 1 |
0 ; Х 1 5 |
— Zn', |
Х 1 0 |
— Z |
1 2 - |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
В новых обозначениях |
функция |
(6.100) имеет вид |
|
|||||||||
|
у(хъ |
|
|
г1 8 ) = |
|
ХуХ3Х^Х7 |
|
|
|
|
(6.111) |
|
|
|
|
|
|
|
|
X 2 X 4 X g X g |
|
|
|
|
X7ZQZXX
• * 8 2 1 0 Г 1 1
X2X3X4X^X7ZX2
XiXaX^XaXSZ12
PKC, соответствующая функции (6.111), приведена на рис. 50. Нетрудно видеть, что в данном случае целесообразно применить разрезание функции у (хг, . . ., z12) сразу по четырем переменным х&, х„, х, и х8 . Во всех параллельных цепях обязательно содержатся какие-то из этих переменных, причем в четырех цепях имеется по две переменных из четырех, а в двух нижних цепях — по одной.
170