Таблица 2.2 Таблица переходов без учета запрещенных состояний

D	Q4Q3\Q2Q1Q0	000	001	011	010	110	111	101	100
D4	00	0	0	H	1	H	H	H	H
	01	0	H	H	H	H	0	H	0
	11	H	H	H	H	H	H	H	H
	10	H	0	H	H	H	H	H	H
D3	00	0	1	H	0	H	H	H	H
	01	0	H	H	H	H	1	H	1
	11	H	H	H	H	H	H	H	H
	10	H	0	H	H	H	H	H	H
D2	00	0	1	H	0	H	H	H	H
	01	0	H	H	H	H	1	H	0
	11	H	H	H	H	H	H	H	H
	10	H	0	H	H	H	H	H	H
D1	00	0	1	H	0	H	H	H	H
	01	1	H	H	H	H	0	H	0
	11	H	H	H	H	H	H	H	H
	10	H	0	H	H	H	H	H	H
D0	00	1	1	H	1	H	H	H	H
	01	0	H	H	H	H	0	H	0
	11	H	H	H	H	H	H	H	H
	10	H	0	H	H	H	H	H	H

Таблица 2.3. Минимизация без учета запрещенных состояний

Полученные с помощью карт Карно функции:

D4 = –Q3*Q1

D3 = –Q4*–Q2*Q0 + Q2

D2 = –Q4*–Q2*Q0+ Q2*Q0

D1 = –Q4*–Q2*Q0 + Q3*–Q2

D0 = –Q4*–Q3

Таблица 2.4 Доопределенная таблица переходов без учета запрещенных состояний

Из таблицы видно, что:

3 – 31– 12 (2 такт перехода в разрешенное состояние)                                   

4 – 9 – 14– 8 (3 такта перехода в разрешенное состояние)          

5 – 13– 12 (2 такт перехода в разрешенное состояние)

6 – 25– 2 (2 такт перехода в разрешенное состояние)

7 – 29 –12 (2 такта перехода в разрешенное состояние)

9 – 14 –8 (2 такта перехода в разрешенное состояние)                

10 – 2 (1 такт перехода в разрешенное состояние)

11 – 14– 8 (2 такт перехода в разрешенное состояние)                          

13 – 12 (1 такт перехода в разрешенное состояние)           

14 – 8 (1 такт перехода в разрешенное состояние)             

16 – 0 (1 такт перехода в разрешенное состояние)                                 

18 – 16– 0 (2 такт перехода в разрешенное состояние)                

19 – 16 – 0 (2 такта перехода в разрешенное состояние)             

20 – 8 (1 такт перехода в разрешенное состояние)             

21 – 12 (1 такт перехода в разрешенное состояние)                     

22 – 24 – 2 (2 такта перехода в разрешенное состояние)

23 – 28 – 8 (2 такта перехода в разрешенное состояние)             

24 – 2 (1 такт перехода в разрешенное состояние)    

25 – 2 (1 такт перехода в разрешенное состояние)    

26 – 2 (1 такт перехода в разрешенное состояние)             

27 – 2 (1 такт перехода в разрешенное состояние)             

28 – 8 (1 такт перехода в разрешенное состояние)             

29 –12 (1 такт перехода в разрешенное состояние)            

30 – 8 (1 такт перехода в разрешенное состояние)             

31 – 12 (1 такт перехода в разрешенное состояние)  

Минимизация логических функций с учетом выхода из запрещенных состояний

Для борьбы со сбоями можно определить переходы их запрещенных состояний в начальное (1)

Таблица 2.5. Таблица переходов с учетом запрещенных состояний

D	Q4Q3Q2Q1Q0	000	001	011	010	110	111	101	100
D4	00				1
	01
	11
	10
D3	00		1
	01						1		1
	11
	10
D2	00		1
	01						1
	11
	10
D1	00		1
	01	1
	11
	10
D0	00	1	1	1	1	1	1	1	1
	01	0	1	1	1	1	0	1	0
	11	1	1	1	1	1	1	1	1
	10	1	0	1	1	1	1	1	1

Таблица 2.6. Минимизация с учетом запрещенных состояний

Полученные с помощью карт Карно функции:

D4 = –Q4*–Q3*–Q2*Q1*–Q0

D3 = –Q4*–Q3*–Q2*–Q1*Q0 +–Q4*Q3*Q2*Q1*Q0 + –Q4*Q3*Q2*–Q1–Q0

D2 = –Q4*–Q3*–Q2*–Q1*Q0 + –Q4*Q3*Q2*Q1*Q0

D1 = –Q4*Q3*–Q2*–Q1*–Q0+ –Q4*–Q3*–Q2*–Q1*Q0

D0 = –Q4*–Q3 + Q3 + Q4*–Q1*–Q0 + Q4*Q1 + Q2*–Q1*Q0