pan align="justify">), в стовпці з ім'ям ? k проставляється В«1В».
Іншими словами булева матриця є матриця логічної функції В«виключає АБОВ» щодо різних станів для кожної перевірки. Якщо будь-який рядок булевої матриці виходить нульовий, то пара станів, відповідна цьому рядку є нерозрізненої. p align="justify"> У даній роботі необхідно вирішити два основні завдання побудови діагностичних тестів:
. Завдання побудови мінімального діагностичного тесту: для даної булевої матриці знайти мінімальне безліч стовпців, так щоб кожен рядок мала В«1В» принаймні, в одному з стовпців матриці. p align="justify">. Завдання побудови всіх елементарних діагностичних тестів: для даної булевої матриці знайти безліч Р всіх множин стовпців, так щоб для будь-якого елементу P i безлічі Р знайшовся в кожній рядку, принаймні, один елемент В«1В» у стовпці, що належить Р i і так, щоб викреслення будь-якого стовпця з Р i призводило б до втрати зазначеного властивості.
Друге завдання допускає наступну алгебрологіческую інтерпретацію. Кожен стовпець булевої ма тріци представляється булевої змінної, а кожен рядок - булевої сумою (диз'юнкцією) цих змінних (залежно від того, дорівнює мінлива 1 або 0, вона входить або не входить у вказану диз'юнкцію). Це означає, що елементарний тест, що є вирішенням завдання, повинен містити, принаймні, одну перевірку, з якої пара станів (s i , s r ) ГЋ R, відповідна цьому рядку булевої матриці, помітна. Зазначена диз'юнкція записується для кожного рядка булевої матриці. Для того щоб визначити тест, необхідно утворити твір (кон'юнкцію) отриманих диз'юнкцій, оскільки сконструйована таким чином булева функції виду & v (кон'юнкція диз'юнкцій) буде істинна тоді і тільки тоді, коли одночасно всі пари станів, належать множині R, помітні. Застосовуючи дистрибутивний закон, а також відомі правила алгебри логіки
ідемпотентності p k & < span align = "justify"> p k = p k
І
Поглинання p k Гљ Q &
