у 1 -> РіРзх'У2 V РіРзчУа V РіРзХцУі V РіРз ч У2 = ч у »;
У 2 -> РхРаР&У4 V W 3V 4 V Р1РаРз*3*0К4 V Р^РоРзЧ/ 4 ѵ
V РіРзРзЧУ-і V РіРгРзЧУвV РіРгРзЧЧУ13V РіРгРз-ЧУи V
V РіР2РзхъУц — РіІРз (л'б^4 V *6Уи) V Рз (-ѵ'5^/ .1У -^бУ«)) V
V Pi (Рі(Рз (-Ѵ"з^4 V Л’з (А’вУ4 V -'’e^la)) У Рз (Л’бУ4V Л'бУо)) V Рі (хзУ.1 V .Ѵ5У14));
Уз > РіРзРзЧУ-і V Р1Р0Р3.Ѵ3У4V РіРзРзхзхзУл V РіРзРзхйУ.і V Р\Р-іРзхзУі V
V РіРгРзЧУІ V РіРіРзЧУл V Р1 Р2Р3ЧУо V РіРіРзЧЧУ13 V РіРчРзхзУи V
\/ plp2p3xsYu V РіРаРзЧУц V РгРзРзЧУіз =
= Ра (Рз(хйУ-і V -'-’s^ii) V Рз (л’б^4 V •ѵ5^ів)) V Ра (Рі (Рз (л'зУ.і V
V -Ѵ3 (.Ѵ0У .! V А’в У і » ) ) У Р з ( х 5 ^ 4 V А 'в ^ в ) ) V Р і ( x' ä ^ 4 V 7 -1'5 ^ 1 4 ) ) >
Уі->Ч{РіРіРзхзУз V p[p,p3x3Y 3 V Р1 Р2Р3 У3 V Р1Р2Р3Уз V
V РіРзРзЧУ3V Р1 Р2Р3У3 V РіРіРзХзУйѴ РіРзРзЧУ13V РіРзРзхзУп) =
— *4 (Рі^зѴ Рі (*3Уз V лз (Рз(Рз Уз V Ра^із) V Рз (Р2Уп У Ра^б))));
У5 —> *2*0У7 V л'2л"в^8 — *2 ('ѵ0^7 V л'оУв)!
Уо —> А'з-ѴуУ7 V .Ѵ2Л'оУѲ= Л*2 (-^оУ7 У Л’оУз)і
у 7 - > у . ;
Уз -> -УіУо;
Уо —> Р1 Р2Р3Уіо V Р1 Р2Р3Ую V Р1Р2Р3У10 V Р1Р2Р3У10 У РіРаРзУю = У«,;
Уіо ~>~РіРзРзхіУ11 V РіРаРзУіУц V РіРзРзЧУп У РіРаРз^Уц V
V РіРаРз-УіУц V РіРаРз-УіУц = -НУцІ
Уи -> Р1Р2Р3Ук V РіРІРзУк V Р1Р2Р3Ук V Р1Р2Р3Ук Ч7 Р1Р2Р3Ук V
у Р1 Р2 Р3 Ук = у «;
у і 2 —> У 1 У 9 ;
Уіз -> у
Уі4 —> Р1Р2Р3Уіо V Р1Р2Р3У10 V РіРгРз* іо — Ую;
Уіб->Уо;
У іо —> Л 'а У іб і
У17 —> *2У15-
Построенная по этим выражениям объединенная ГСА устройства управле ния ЦВМ изображена на рис. 8-15. На этой же граф-схеме отмечены состояния н узлы. Обратная структурная таблица микропрограммного автомата Мили при ведена в табл. 8-16. Логическая схема автомата, построенная по табл. 8-16, изо бражена на рис. 8-16.
1 Анализ строк У2 и У3 в табл. 8-14 показывает, что в MCA, в которых встре чается оператор У2, элементы строк У2 и У3 совпадают. Для минимизации объе диненной ГСА Г доопределим У2 на наборах, соответствующих MCA, в которых У2 не определен, так чтобы формулы перехода для У2 и У'3 совпадали.