Второй шаг минимизации
Lk |
L1 |
L2 |
L3 |
L4 |
Ii3 |
||||
PLk |
0,8 |
0,02 |
0,09 |
0,09 |
|
||||
ni |
S0 |
S4 |
S1 |
S6 |
S7 |
S2 |
S3 |
S5 |
|
pj |
0,8 |
0,02 |
0,05 |
0,02 |
0,02 |
0,05 |
0,02 |
0,02 |
|
π4 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
π1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0,0892 |
π2 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0,1580 |
π3 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0,1580 |
π5 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0,1784 |
π7 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
0,0892 |
π8 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0,1580 |
π9 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0,1784 |
π10 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0,0688 |
π11 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0,0688 |
π12 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0,0892 |
Для π1 имеем:
;
Для π2:
;
Для π3:
;
Для π5:
;
Для π7:
;
Для π8:
;
Для π9:
;
Для π10:
;
Для π11:
;
Для π12:
;
В результате четвертого шага расчета получаем значения информации, записанные в соответствующую графу табл. 3. Из нее выбирается тест π5, которая выделяет состояния S1, S2 (табл. 4). Здесь столбцы Lk , к=1...7 определяют выделенные состояния.
В L3 и L6 заключены не различённые пока друг от друга состояния S6, S7 и S3, S5. Они различаются проверками π2, π3, π8, π10, π11. Любая из них может быть отобрана в тест. Пусть отобрана, например, π2, как проще измеряемая.
В результате получается табл. 5, в которой записаны только отобранные в тест проверки.
Таблица 4