/sub>
0
0
0
0
X4
----------
a 7
0
1
1
1
a 8
1
0
0
0
X4
D4; Y5
a 8
1
0
0
0
a 9
1
0
0
1
X1
D1, D4; Y2, Y6
a 8
1
0
0
0
a 0
0
0
0
0
X1
Y2, Y4, Y5
a 9
1
0
0
1
a 10
1
0
1
0
-----
D2, D4; Y5, Y6
a 10
1
0
1
0
a 1
0
0
0
1
-----
D1; Y1, Y2, Y5
a 5
0
1
0
1
a 7
0
1
1
1
-----
D1, D2, D3; Y2, Y3, Y4
Таблиця заповнюється по графу (рис. 4). Рядків у таблиці буде стільки, скільки дуг в графі. Приклад заповнення: для прикладу візьмемо дев'ятий рядок, стан автомата В«А6В» (кодоване як В«0110В») переходить у стан В«а 8 В» (Кодоване як В«1000В»). Ми бачимо, що В«Q2В» і В«Q3В» були рівні 1, а стали рівні 0. Так як за варіантом заданий D-тригер, то за таблицею переходів D-тригера бачимо, що потрібно подати В«0В» на входи В«D2В» і В«D3В», на вхід В«D4В» треба подати В«1В», для того щоб В«Q4В» встановився в В«1В», ці зміни вносимо в графу В«Сигнали управління тригерами; виходи КУ В». Так само ми бачимо, що повинні бути сформовані вихідний сигнал У5, ці сигнали так само вносимо в графу В«Сигнали управління тригерами; виходи КУВ». Цей перехід умовний, тому в стовпці В«Умова переходуВ» заносимо умовний перехід В«Х5В». Аналогічно заповнюються інші рядки таблиці. <В
2.2.6. Виведення рівнянь роботи автомата.
Після заповнення таблиці № 4 переходимо до запису вихідних рівнянь в СДНФ:
D1 = a0 V a2 V a3 * x2 V a4 * x3 V a8 * x1 V a10 V a5
D2 = a1 V a2 V a4 * x3 V a4 * x3 V a6 * X5 V a9 V a5
D3 = a3 * x2 V a3 * x2 V a4 * x3 V a4 * X3 V a5
D4 = a6 * x5 V a6 * x5 V a7 * x4 V a8 * x1 V a9
В
Y1 = a0 V a2 V a4 * x3 V a10
Y2 = a0 V a1 V a3 * x2 V a3 * x2 V a4 * x3 V a8 * x1 V a8 * x1 V a10 V a5
Y3 = a1 V a2 V a4 * x3 V a5
Y4 = a1 V a2 V a4 * x3 V a8 * x1 V a5
Y5 = a3 * x2 V a4 * x3 V a6 * x5 V a6 * x5 V a7 * x4 V a8 * x1 V a10 V a9
Y6 = a2 V a3 * x2 V a4 * x3 V a6 * x5 V a8 * x1 V a9
Тепер отримані рівняння ми можемо мінімізувати за допомогою закону склеювання, також для спрощення принципової схеми ми можемо застосувати правило Де Моргана. Таким чином, рівняння будуть мати вигляд:
D1 = A0 & a2 & a3 * x2 & a4 * x3 & a8 * x1 & a10 & a5
D2 = a1 V a2 V a4 * (x3 V x3) V a6 * x5 V a9 V a5 = a1 & a2 & a4 & a6 * x5 & a9 & a5
D3 = a3 * (x2 V x2) V a4 * (x3 V x3) V a5 = a3 & a4 & a5
D4 = a6 * (x5 V x5) ...
