Учебное пособие: Вычислительные машины, комплексы, системы и сети
Кодирование таблицы состояний
Т2 Т1
Q2 Q1
А0 → 0 0
А1 → 0 1
А2 → 1 0
А3 → 1 1
На основании данной кодированной таблицы состояний составляем СДНФ для входа Т1
Минимизируем функцию входов при помощи карты Карно для триггера Т1.
Карта Карно
 |  | ||||
 | 0 | 1 | 0 | 0 |  |
| 1 | 0 | 0 | 1 |  | |
 | 1 | 0 | 0 | 1 | |
| 0 | 1 | 0 | 0 | | |
 |  | | |||
Аналогично составляем СДНФ для входа Т2
Минимизируем функцию входов при помощи карты Карно
Карта Карно для триггера Т2:
Кодирование таблицы выходов
Q2 Q1
W1 → 0 1
W2 → 1 0
W3 → 1 1
На основании кодированной таблицы выходов составляем СДНФ для выхода Т1
Минимизируем функцию выходов при помощи карты Карно
Карта Карно для выхода Y1:
| | ||||
| 0 | 1 | 1 | 0 | |
| 0 | 0 | 0 | 0 | | |
| 1 | 0 | 0 | 1 | |
| 0 | 0 | 0 | 0 | | |
| | | |||
На основании кодированной таблицы выходов составляется
СДНФ для выхода Y2
Y2 = Q2 Q1 Z2 Z1 vQ2 Q1 Z2 Z1 = Q1 Z2 Z1
На основании проведенного синтеза строится схема электрическая функциональная цифрового автомата Мили
 | |
 |
.
 |