
- •Содержание
- •Синтез синхронного конечного автомата по словесному описанию
- •Построение графа переходов и первичной таблицы переходов
- •1.Синтез асинхронного конечного автомата по заданной вход-выходной временной характеристике
- •Построение графа переходов и первичной таблицы переходов
- •Минимизация таблицы переходов
- •Составление таблицы покрытий
- •Нахождение минимального множества
- •Построение минимизированной таблицы переходов
- •Кодирование состояний по столбцам таблицы переходов
- •Минимизация функций алгебры логики с помощью карт Карно
- •Синтез асинхронного автомата на контактах
- •Синтез синхронного конечного автомата по словесному описанию
- •3.1 Построение графа переходов
Минимизация функций алгебры логики с помощью карт Карно
Выделяются максимальные контуры каждой из функций переключения и выходов. Далее записываются в виде дизъюнкция конъюнкций переменных, входящих в контур.
X1=0
0 |
0 |
~ |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
~ |
~ |
~ |
~ |
0 |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
0 |
1 |
~ |
~ |
~ |
1 |
1 |
~ |
X1=1
0 |
0 |
0 |
0 |
0 |
~ |
0 |
0 |
0 |
~ |
~ |
~ |
0 |
~ |
1 |
0 |
~ |
~ |
~ |
~ |
~ |
~ |
1 |
~ |
~ |
1 |
~ |
~ |
~ |
~ |
1 |
~ |
0 |
0 |
~ |
0 |
~ |
0 |
0 |
0 |
0 |
0 |
~ |
~ |
~ |
~ |
1 |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
0 |
0 |
~ |
~ |
~ |
0 |
0 |
~ |
0 |
0 |
0 |
0 |
1 |
~ |
0 |
0 |
1 |
~ |
~ |
~ |
1 |
~ |
1 |
1 |
~ |
~ |
~ |
~ |
~ |
~ |
0 |
~ |
~ |
0 |
~ |
~ |
~ |
~ |
0 |
~ |
1 |
1 |
1 |
1 |
1 |
~ |
0 |
0 |
0 |
~ |
~ |
~ |
~ |
~ |
0 |
0 |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
0 |
~ |
~ |
~ |
~ |
0 |
~ |
0 |
0 |
~ |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
~ |
~ |
~ |
~ |
0 |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
0 |
0 |
~ |
~ |
~ |
0 |
0 |
~ |
0 |
1 |
~ |
0 |
0 |
~ |
1 |
1 |
0 |
1 |
~ |
~ |
~ |
~ |
1 |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
0 |
0 |
~ |
~ |
~ |
1 |
1 |
~ |
0 |
1 |
~ |
1 |
1 |
~ |
1 |
1 |
0 |
1 |
~ |
~ |
~ |
~ |
0 |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
0 |
~ |
~ |
~ |
~ |
1 |
1 |
~ |
0 |
1 |
~ |
~ |
~ |
~ |
1 |
1 |
0 |
1 |
~ |
~ |
~ |
~ |
0 |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
0 |
1 |
~ |
~ |
~ |
1 |
1 |
~ |
0 |
1 |
1 |
0 |
0 |
~ |
1 |
1 |
0 |
~ |
~ |
~ |
0 |
~ |
1 |
0 |
~ |
~ |
~ |
~ |
~ |
~ |
1 |
~ |
~ |
1 |
~ |
~ |
~ |
~ |
1 |
~ |
1 |
1 |
1 |
1 |
~ |
~ |
1 |
1 |
0 |
~ |
~ |
~ |
1 |
~ |
~ |
1 |
~ |
~ |
~ |
~ |
~ |
~ |
1 |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
1 |
~ |
0 |
0 |
0 |
0 |
~ |
~ |
0 |
0 |
1 |
~ |
~ |
~ |
1 |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
~ |
0 |
~ |
~ |
~ |
~ |
~ |
~ |
1 |
0 |
~ |