4 Минимизация выражений для бинарных переменных состояния

Х₁Х₂Х₃ (q₁)

q1q2q3	000	001	011	010	110	111	101	100
000	0	0	0	0	0	0	1	0
0 01	0	0	0	0	1	1	0	0
011	0	1	0	1	0	0	0	0
0 10	0	0	0	0	0	1	0	0
110	0	1	1	1	1	1	0	0
1 11	1	1	1	1	1	1	1	0
1 01	1	1	1	1	1	1	1	0
100	0	1	1	1	1	1	0	0

Рисунок 11 – Карта возбуждения для переменной состояния q₁ с устраненной неопределенностью

По карте получаем минимизированное выражение, состоящее из 9 термов:

Х₁Х₂Х₃ (q₂)

q1q2q3	000	001	011	010	110	111	101	100
000	0	0	0	0	1	0	0	0
0 01	1	0	0	0	0	0	0	0
011	1	0	1	0	1	1	0	1
0 10	1	0	1	1	1	0	1	1
110	1	0	1	1	1	0	1	1
1 11	1	0	1	0	1	1	0	1
1 01	0	0	0	0	0	0	0	0
100	1	0	0	0	0	0	0	0

Рисунок 12 – Карта возбуждения для переменной состояния q₂ с устраненной неопределенностью

По карте получаем минимизированное выражение, состоящее из 10 термов:

Х₁Х₂Х₃ (q₃)

q1q2q3	000	001	011	010	110	111	101	100
000	0	0	1	0	0	0	1	0
0 01	0	1	1	1	0	1	1	1
011	1	0	1	1	1	1	1	0
0 10	0	1	1	0	0	0	0	0
110	1	1	1	1	0	0	1	0
1 11	1	0	0	1	1	1	1	0
1 01	1	1	0	1	1	1	1	0
100	1	0	0	1	0	0	1	0

Рисунок 13 – Карта возбуждения для переменной состояния q₃ с устраненной неопределенностью

По карте получаем минимизированное выражение, состоящее из 13 термов: