3.3 Реверсивний лічильник по модулю 13 (ап1)

Виходячи із числа модуля, визначимо кількість тригерів n=][= 4.

Кількість тригерів визначає розмірність внутрішніх станів n=4,тоді маємо чотирьохрозрядний код.Побудуємо граф переходів-виходів лічильника (рисунок 2).

Рисунок 2.

За допомогою граф переходів-виходів побудуємо функціональну таблицю автомата(таблиця 8).

Таблиця 8. Функціональна таблиця автомата.

T					t+1				тригер 1		тригер 2		тригер 3		тригер 4
x	y₁	y₂	y₃	y₄	y₁	y₂	y₃	y₄	y_j1	y_k1	y_j2	y_k2	y_j3	y_k3	y_j4	y_k4
0	0	0	0	0	0	0	0	1	0	~	0	~	0	~	1	~
0	0	0	0	1	0	0	1	0	0	~	0	~	1	~	~	1
0	0	0	1	0	0	0	1	1	0	~	0	~	~	0	1	~
0	0	0	1	1	0	1	0	0	0	~	1	~	~	1	~	1
0	0	1	0	0	0	1	0	1	0	~	~	0	0	~	1	~
0	0	1	0	1	0	1	1	0	0	~	~	0	1	~	~	1
0	0	1	1	0	0	1	1	1	0	~	~	0	~	0	1	~
0	0	1	1	1	1	0	0	0	1	~	~	1	~	1	~	1
0	1	0	0	0	1	0	0	1	~	0	0	~	0	~	1	~
0	1	0	0	1	1	0	1	0	~	0	0	~	1	~	~	1
0	1	0	1	0	1	0	1	1	~	0	0	~	~	0	1	~
0	1	0	1	1	1	1	0	0	~	0	1	~	~	1	~	1
0	1	1	0	0	1	1	0	1	~	0	~	0	0	~	1	~
0	1	1	0	1	0	0	0	1	~	1	~	1	0	~	~	0
0	1	1	1	0	0	0	0	1	~	1	~	1	~	1	1	~
0	1	1	1	1	0	0	0	1	~	1	~	1	~	1	~	0
1	0	0	0	0	1	1	0	1	1	~	1	~	0	~	1	~
1	0	0	0	1	1	1	0	1	1	~	1	~	0	~	~	1
1	0	0	1	0	0	0	0	1	0	~	0	~	~	1	1	~
1	0	0	1	1	0	0	1	0	0	~	0	~	~	0	~	1
1	0	1	0	0	0	0	1	1	0	~	~	1	1	~	1	~
1	0	1	0	1	0	1	0	0	0	~	~	0	0	~	~	1
1	0	1	1	0	0	1	0	1	0	~	~	0	~	1	1	~
1	0	1	1	1	0	1	1	0	0	~	~	0	~	0	~	1
1	1	0	0	0	0	1	1	1	~	1	1	~	1	~	1	~
1	1	0	0	1	1	0	0	0	~	0	0	~	0	~	~	1
1	1	0	1	0	1	0	0	1	~	0	0	~	~	1	1	~
1	1	0	1	1	1	0	1	0	~	0	0	~	~	0	~	1
1	1	1	0	0	1	0	1	1	~	0	~	1	1	~	1	~
1	1	1	0	1	1	1	0	0	~	0	~	0	0	~	~	1
1	1	1	1	0	1	1	0	1	~	0	~	0	~	1	1	~
1	1	1	1	1	1	1	0	1	~	0	~	0	~	1	~	0

Для отримання алгебраїчних виразів для функцій Y_J₁,Y_K₁,Y_J₂,Y_K₂,Y_J₃,Y_K₃,Y_J₄,Y_K₄складемо відповідні карти Карно та проведемо мінімізацію функцій.