Наборы не участвовавшие в склейке: 1X00, 00X1, 11XX, 001X
Таблица покрытия (таблица 6, темно-серым цветом отмечены неопределенные значения счетчика). Выделяем ядро в незакрашенной части
| 0001
| 0010
| 0011
| 1000
| 1100*
| 1101*
| 1110*
| 1111*
| 00X1
| ⊕
|
| +
|
|
|
|
|
| 001X
|
| ⊕
| +
|
|
|
|
|
| 1X00
|
|
|
| ⊕
| +
|
|
|
| 11XX
|
|
|
|
| +
| +
| +
| +
| Таблица 6: таблица покрытия функции Т2 Ядро функции: 00X1, 001X, 1X00
Получаем: 4.3 - Расчет СДНФ Т1 (таблица 7) Примем неопределенные значения * за 1 Таблица 7: таблица истинности для Т1 Q3(t)
| Q2(t)
| Q1(t)
| Q0(t)
| T1
|
| 0
| 0
| 0
| 0
| 1
| 0
| 0
| 0
| 0
| 1
| 0
|
| 0
| 0
| 1
| 0
| 1
| 1
| 0
| 0
| 1
| 1
| 0
|
| 0
| 1
| 0
| 0
| 1
| 1
| 0
| 1
| 0
| 1
| 0
|
| 0
| 1
| 1
| 0
| 1
| 2
| 0
| 1
| 1
| 1
| 0
|
| 1
| 0
| 0
| 0
| 1
| 1
| 1
| 0
| 0
| 1
| 0
|
| 1
| 0
| 1
| 0
| 1
| 2
| 1
| 0
| 1
| 1
| 0
|
| 1
| 1
| 0
| 0
| *
| 2*
| 1
| 1
| 0
| 1
| *
| 3*
| 1
| 1
| 1
| 0
| *
| 3*
| 1
| 1
| 1
| 1
| *
| 4*
|
0
| 0
| 0
| 0
|
| 0
| 0
| 0
| 1
| 0
|
|
| 0
| 1
| 0
| 0
|
|
| 1
| 0
| 0
| 0
|
| 1
| 0
| 1
| 1
| 0
|
|
| 1
| 0
| 1
| 0
|
|
| 1
| 1
| 0
| 0
| *
| 2
| 1
| 1
| 0
| 1
| *
|
| 1
| 1
| 1
| 0
| *
| 3
| 1
| 1
| 1
| 1
| *
| 4
| Производим склейки:
0
| 0
| 0
| 0
|
| v
|
| 0
| 0
| X
| 0
|
|
| X
| 0
| 0
| 0
|
| v
|
| X
| 0
| X
| 0
|
| X
| 0
| X
| 0
| v
|
| X
| X
| X
| 0
|
| X
| X
| X
| 0
| 0
| 0
| 1
| 0
|
| v
|
| 0
| X
| 0
| 0
|
|
| X
| 0
| 1
| 0
|
| v
|
| X
| X
| 0
| 0
|
| X
| X
| 0
| 0
| v
|
| X
| X
| X
| 0
|
| 1
| 1
| X
| X
| 0
| 1
| 0
| 0
|
| v
|
| X
| 0
| 0
| 0
|
|
| X
| 1
| 0
| 0
|
| v
|
| X
| X
| 1
| 0
|
| X
| X
| 1
| 0
| v
|
| X
| X
| X
| 0
|
|
|
|
|
| 1
| 0
| 0
| 0
|
| v
|
| 0
| X
| 1
| 0
|
|
| X
| 1
| 1
| 0
|
| v
|
| X
| 1
| X
| 0
|
| X
| 1
| X
| 0
| v
|
| 1
| 1
| X
| X
|
|
|
|
|
| 0
| 1
| 1
| 0
|
| v
|
| X
| 0
| 1
| 0
|
|
| 0
| X
| 0
| 0
|
| v
|
| 0
| X
| X
| 0
|
| 0
| X
| X
| 0
| v
|
|
|
|
|
|
|
|
|
|
| 1
| 0
| 1
| 0
|
| v
|
| 0
| 1
| X
| 0
|
|
| 0
| X
| 1
| 0
|
| v
|
| X
| X
| 0
| 0
|
| 1
| X
| X
| 0
| v
|
|
|
|
|
|
|
|
|
|
| 1
| 1
| 0
| 0
| *
| v
|
| X
| 1
| 0
| 0
|
|
| 1
| X
| 0
| 0
|
| v
|
| X
| X
| 1
| 0
|
| 1
| 1
| X
| X
|
|
|
|
|
|
|
|
|
|
|
| 1
| 1
| 0
| 1
| *
| v
|
| 1
| 0
| X
| 0
|
|
| 1
| X
| 1
| 0
|
| v
|
| 1
| X
| X
| 0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1
| 1
| 1
| 0
| *
| v
|
| 1
| X
| 0
| 0
|
|
| 0
| 0
| X
| 0
|
| v
|
| 0
| X
| X
| 0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1
| 1
| 1
| 1
| *
| v
|
| X
| 1
| 1
| 0
|
|
| 0
| 1
| X
| 0
|
| v
|
| X
| 0
| X
| 0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1
| X
| 1
| 0
|
|
| 1
| 0
| X
| 0
|
| v
|
| X
| 1
| X
| 0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1
| 1
| 0
| X
| *
|
| 1
| 1
| X
| 0
| *
| v
|
| 1
| X
| X
| 0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1
| 1
| X
| 0
| *
|
| 1
| 1
| X
| 1
| *
| v
|
| 1
| 1
| X
| X
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1
| 1
| X
| 1
| *
|
| 1
| 1
| 0
| X
| *
| v
|
| 1
| 1
| X
| X
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1
| 1
| 1
| X
| *
|
| 1
| 1
| 1
| X
| *
| v
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |