2, Q1 (t) і Q2 (t), представлені в перших колонках таблиці 3. Функціями, формованими на виходах КЦУ, є сигнали збудження тригерів (J і K) і вихідні сигнали Y, відповідні мікрокомандами Y. Ці функції представлені в 9 Вё 15 колонках. Таким чином частина табл. 3 являє собою таблицю істинності неповно заданих ФАЛ, формованих на виходах КЦУ. Таблиці істинності представлені у скороченій формі. Тут враховано те обставина, що змінні Х1 і Х2 надходять на входу КЦУ в різні тактові моменти часу і крім того жодна з функцій не залежить відразу від обох цих змінних. Це дозволило об'єднати в перших чотирьох рядках табл. 3 набори аргументів, в яких Х1 І Х2, де вони є, приймають значення 0, а в рядках 5 Вё 8 набори, в яких Х1 і Х2 рівні 1. Перші два, п'ятий і шостий набори в табл. 3 не містять змінних Х1 і Х2, тобто значення функцій на цих наборах не залежать від значень Х1 і Х2, тому відповідні значення вихідних функцій повторюються двічі: у групі наборів, що відносяться до значенням Х1 і Х2, рівним 0 (рядки 1 Вё 2), а потім у групі наборів, в яких Х1 і Х2 рівні 1 (Рядки 5 Вё 6). br/>
№
п/п
Умова
переходу
Попереднє стан
а i (t), Q i (t)
Наступне стан
а i (t +1),
Q i (t +1)
Сигнали збудження тригерів
Виконувана МК
Х2
Х1
а i
Q2
Q1
а i
Q2
Q1
J2
K2
J1
K1
Y1
Y2
Y3
1
-
-
а 0
0
0
а 1
0
1
0
-
<...