7.6. Побудова рівнянь функцій збудження і виходів автомата

Побудуємо систему рівнянь збудження Т-тригерів і систему рівнянь виходів. За функціонально повний базис виберемо базис АБО-НІ (стрілка Пірса).

Переносимо значення функції збудження Т_1t із табл. 7.11 в карту Карно (рис. 7.2).

A_t ПК₁²

T1(t-1)	0 6	0 7	1 3	0 2
	0 4	0 5	1 1	0 0

ПК₂²

T_2(t-1)

Рисунок 7.2 – Карта Карно для функції збудження T_1t

Оскільки реалізувати схему необхідно в базисі АБО-НІ, то будуємо правильні конфігурації за нульовими наборами. В ПК₁² об’єднуємо клітинки 4, 5, 6 і 7. В ПК₂² об’єднуємо клітинки 0, 2, 4 і 6. Описуємо ПК за допомогою табл. 7.13.

Таблиця 7.13 – Правильні конфігурації для функції збудження T_1t

Правильні конфігурації	Значения змінних
	At	T1(t-1)	T2(t-1)
ПК12	1	–	–
ПК22	–	–	0

Складаємо рівняння збудження першого Т-тригера. Хоча в базисі АБО-НІ змінні, які описують ПК, беруться в інверсному вигляді, тут мають місце виключні ситуації для першої і другої правильних конфігурацій.

T_1t = (7.1)

Заносимо в карту Карно значення функції збудження Т_2t (рис. 7.3).

A t ПК₁¹

T1(t-1)	0 6	0 7	1 3	1 2
	1 4	1 5	1 1	1 0

T_2(t-1)

Рисунок 7.3 – Карта Карно для функції збудження T_2t

Через те що реалізувати схему необхідно в базисі АБО-НІ, то будуємо правильні конфігурації за нульовими наборами. В ПК₁¹ об’єднуємо клітинки 6 і 7. Описуємо ПК за допомогою табл. 7.14.

Таблиця 7.14 – Правильні конфігурації для функції збудження T_2t

Правильні конфігурації	Значения змінних
	At	T1(t-1)	T2(t-1)
ПК11	1	1	–

Складаємо рівняння збудження другого Т-тригера:

T_2t = (7.2)

Будуємо системи рівнянь для булевих функцій виходів. Значення C_t з табл. 7.6 заносимо в карту Карно (рис. 7.4), замінюючи при цьому В_1(t-1) на T_1(t-1) і В_2(t-1) на T_2(t-1) .

ПК₃¹

A _t ПК₁²

T1(t-1)	0 6	0 7	1 3	0 2
	0 4	1 5	0 1	0 0

ПК₁² T_2(t-1) ПК₂¹

Рисунок 7.4 – Карта Карно для функції виходу C_t

Оскільки реалізувати схему необхідно в базисі АБО-НІ, то будуємо правильні конфігурації за нульовими наборами. В ПК₁² об’єднуємо клітинки 0, 2, 4 і 6. В ПК₂¹ об’єднуємо клітинки 0 і 1. В ПК₃¹ об’єднуємо клітинки 6 і 7. Описуємо ПК за допомогою табл. 7.14.

Таблиця 7.14 – Правильні конфігурації для вихідного стану С_t

Правильні конфігурації	Значення змінних
	At	T1(t-1)	T2(t-1)
ПК12	–	–	0
ПК21	0	0	–
ПК31	1	1	–

С кладаємо рівняння для вихідного сигналу С_t. Хоча в базисі АБО-НІ змінні, які описують ПК, беруться в інверсному вигляді, в даному випадку має місце виключна ситуація для першої правильної конфігурації. Тому

. (7.3)