"justify"> 111001110 001000111 000111100 000101110 < span align = "justify"> 000001111 000011101 000100001 111101010 100101010 000010010 111101100
Далі знову стає можливим застосування правила поглинання рядків: поглинається, поглинається.
У процесі вирішення задачі отримаємо циклічну матрицю. Результати зведені в таблицю 8. br/>
Таблиця 8. Циклічна матриця. p align="justify"> 100010000 010000001 011100100 111001110 001000111 000111100 000101110 < span align = "justify"> 000001111 000011101 000100001 100101010 000010010
У цій матриці стовпець має максимальне число одиниць в порівнянні з іншими стовпцями. Його можна відзначити як входить до тест. Тоді сам стовпець і всі рядки, в яких у даному стовпці є одиниці, виключаються з розгляду. Результат зведений в таблицю 9. br/>
Таблиця 9. Булева матриця після спрощення циклічної матриці. p align="justify"> 10001000 01000001 00010001 10010110 00001010
Стовпець нульовою, відповідно його можна прибрати з розгляду. Стовпець поглине стовпець. поглине стовпець. Отримані результати зведені в таблицю 10. br/>
Таблиця 10. Булева матриця з поглиненими стовпцями. p align="justify"> 10100 00001 01001 11010 00110
Рядок містить одну одиницю у перевірці. Стовпець відзначається як входить до тест і всі рядки, які містять одиниці в цьому стовпці викреслюються з матриці. Потім стовпець поглинає. Отримані результати зведені в таблицю 11. br/>
Таблиця 11. Остаточно спрощена булева матриця. p align="justify"> 110 101 011
Проведемо перевірку за. Вона входить до тест. Поглинаються рядки і. Потім поглинає. Отже в тест входить перевірка. Перевірки, відмічені як входять у тест до утворення першої циклічної матриці, є перевірками, що входять в безліч перевірок мінімального діагностичного тесту. Решта перевірки входять в безліч перевірок, обраних після формування циклічної матриці. . Досить близький д...
