04 6 7 6

1 2 0 5 2 4 3 5

Минимизация первичной таблицы переходов-выходов.

Диаграмма объединений

1

2

3

4

5

6

7

12

11

10

9

8

1

Минимизированная таблица

N	abc
	000	001	010	011	100	101	110	111
a	1	6	7		2
b	8				2	9	3
c			10		11		3	4
d				12		13	5	4

Таблица имеет четыре строки, значит необходимо использовать как минимум два элемента памяти.

ab₀₀₀

bc₀₁₀

c d₁₁₀

Построение диаграммы переходов

A b c d Кодирование строк.

Для исключения состязаний переход из одного состояние в другое должен сопровождаться изменение состояния только одного элемента памяти. Для кодирования используем карту Карно.

y2

0 1

0 y1 1 a		b
d		c

a		00
b		01
c		11
d		10

Заполненная карта Карно позволяет построить реализуемую таблицу переходов.

Реализуемая таблица переходов

y1y2	abc
	000	001	010	011	100	101	110	111
2 00	2	1		6
01	2	8	3				4
11	10		3				4
10			12		5			11

Построение таблиц переходов – выходов и возбуждения

Таблица переходов – выходов имеет вид аналогичный таблице переходов, но вместо номеров тактов в ее клетках проставляются состояния элементов памяти следующий момент времени и значения выходных сигналов.

таблица переходов – выходов

2 1 4 0 y1y2	abc
	000	001	010	011	100	101	110	111
10 14 15 16 00	00 00	00 01	00 01		01 00
32 34 36 37 10 01	01 01			30	01 00	01 01	11 00
27 26 25 23			11 01		11 01		11 00	10 00
10				10 01		10 01	10 10	10 00

Таблица возбуждения строится из таблицы переходов – выходов, с учетом используемых элементов памяти.

Таблица входов JK – триггера

JK(t)
y(t)	y(t+1)
	0	1
0	0 	1 
1	 1	 0

Таблица возбуждений

4 1 0 2 y1y2	abc
	000	001	010	011	100	101	110	111
16 15 10 14 00	0~ 0~	0~ 0~	0~ 0~		0~ 1~
32 34 36 37 01	0~ ~0				0~ ~0	0~ ~0	1~ ~0
23 25 26 27 11			~0 ~0		~0 ~0	20 21 22	~0 ~0	~0 ~1
10				~0 0~		~0 0~	~0 0~	~0 0~