Объединение граф-схем алгоритмов, страница 10

В соответствии с формулой разложения булевой алгебры

                                  (26.2)

запишем после разметки всех вершин, скобочную формулу представления формулы перехода

;         ;              .

Запись ведется начиная с верхней вершины путем продвижения вниз, затем выполняем подстановку выражения для подфункции  в формулу для , а выражения для  в формулу перехода для .

В результате получим

Подграфы ГСА для формул перехода  и  приведены на рис. 26.4

а)	б)

Рисунок 26.4 – Подграфы для формул перехода  (а) и для  (б)

Так как ФП  входит как составная часть в ФП , то достаточно выход  соединить со входом вершин . После наложения одинаковых операторных вершин друг на друга для двух подграфов рис. 26.2 и рис. 26.4 получим ОГСА (рис. 26.5).