"> p k = p k
де Q - довільна кон'юнкція, перетворимо отриманий вираз до виду v & (диз'юнкція кон'юнкцій). Отримана булева сума не буде містити зайвих доданків, а елементи, що входять в одне доданок (диз'юнкцію) вираження v &, породжують безліч, яке є елементарним діагностичним тестом, оскільки кожний доданок вираження v & обумовлює істинність вихідної булевої функції виду & v (попарно помітних всіх стані об'єкта, що діагностується), так як воно має загальним з кожним співмножником у вираженні & v принаймні один елемент.
В
Малюнок 12. Вихідна структурна схема об'єкта. br/>
1. За структурною схемою складаємо таблицю станів, яка має вигляд:
Таблиця 1. Таблиця станів. p align="justify"> 011011111 100000111 110111111 111011111 111101111 110100111 110000000 < span align = "justify"> 110000100 110100110
2. Булева матриця, побудована за таблицею станів, виглядає наступним чином:
Таблиця 2. Булева матриця, побудована за таблицею станів. p align="justify"> 111011000 101100000 100000000 100110000 101111000 101011111 101011011 < span align = "justify"> 101111001 010111000 011011000 011101000 010100000 010000111 010000011 010100001 001100000 001010000 000011000 000111111 000111011 000011001 000110000 001111000 001011111 001011011 001111001 001001000 001101111 001101011 001001001 000100111 000100011 000000001 000000...
