Наборы не участвовавшие в склейке: 0000, X1X1, X11X, 11XX
Таблица покрытия (таблица 4, темно-серым цветом отмечены неопределенные значения счетчика). Выделяем ядро в незакрашенной части
Таблица 4: таблица покрытия функции Т3
| 0000
| 0101
| 0110
| 0111
| 1100*
| 1101*
| 1110*
| 1111*
| 0000
| ⊕
|
|
|
|
|
|
|
| X1X1
|
| ⊕
|
| +
|
| +
|
| +
| X11X
|
|
| ⊕
| +
|
|
| +
| +
| 11XX
|
|
|
|
| +
| +
| +
| +
|
Ядро функции - 0000, X1X1, X11X
Получаем:
4.2 - Расчет СКНФ Т2 (таблица 5) Примем неопределенные значения * за 0
Таблица 5: таблица истинности для Т2
Q3(t)
| Q2(t)
| Q1(t)
| Q0(t)
| T2
|
| 0
| 0
| 0
| 0
| 1
|
| 0
| 0
| 0
| 1
| 0
| 1
| 0
| 0
| 1
| 0
| 0
| 1
| 0
| 0
| 1
| 1
| 0
| 2
| 0
| 1
| 0
| 0
| 1
|
| 0
| 1
| 0
| 1
| 1
|
| 0
| 1
| 1
| 0
| 1
|
| 0
| 1
| 1
| 1
| 1
|
| 1
| 0
| 0
| 0
| 0
| 1
| 1
| 0
| 0
| 1
| 1
|
| 1
| 0
| 1
| 0
| 1
|
| 1
| 0
| 1
| 1
| 1
|
| 1
| 1
| 0
| 0
| *
| 2*
| 1
| 1
| 0
| 1
| *
| 3*
| 1
| 1
| 1
| 0
| *
| 3*
| 1
| 1
| 1
| 1
| *
| 4*
|
0
| 0
| 0
| 1
|
|
| 0
| 0
| 1
| 0
|
|
| 1
| 0
| 0
| 0
|
| 1
| 0
| 0
| 1
| 1
|
|
| 1
| 1
| 0
| 0
| *
| 2
| 1
| 1
| 0
| 1
| *
|
| 1
| 1
| 1
| 0
| *
| 3
| 1
| 1
| 1
| 1
| *
| 4
|
Производим склейки:
0
| 0
| 0
| 1
|
| v
|
| 0
| 0
| X
| 1
|
|
| 1
| X
| 0
| 0
|
|
|
| 1
| X
| 0
| 0
|
| 1
| X
| 0
| 0
|
| 0
| 0
| 1
| 0
|
| v
|
| 0
| 0
| 1
| X
|
|
| 0
| 0
| X
| 1
|
|
|
| 0
| 0
| X
| 1
|
| 0
| 0
| X
| 1
|
| 1
| 0
| 0
| 0
|
| v
|
| 1
| X
| 0
| 0
|
|
| 1
| 1
| X
| 0
| *
| v
|
| 1
| 1
| X
| X
|
| 1
| 1
| X
| X
|
| 0
| 0
| 1
| 1
|
| v
|
| 1
| 1
| 0
| X
|
|
| 1
| 1
| X
| 1
| *
| v
|
| 0
| 0
| 1
| X
|
| 0
| 0
| 1
| X
|
| 1
| 1
| 0
| 0
| *
| v
|
| 1
| 1
| X
| 0
| *
|
| 0
| 0
| 1
| X
|
|
|
| 1
| 1
| X
| X
|
|
|
|
|
|
| 1
| 1
| 0
| 1
| *
| v
|
| 1
| 1
| X
| 1
| *
|
| 1
| 1
| 0
| X
|
| v
|
|
|
|
|
|
|
|
|
|
|
| 1
| 1
| 1
| 0
| *
| v
|
| 1
| 1
| 1
| X
| *
|
| 1
| 1
| 1
| X
| *
| v
|
|
|
|
|
|
|
|
|
|
|
| 1
| 1
| 1
| 1
| *
| v
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |