Минимизация системы булевых функций. Синтез ПЛМ с заданной выходной матрицей, страница 9

Эта вспомогательная задача решается следующим образом. Из перечисленных столбцов образуется один минор матрицы X, а из столбцов, одноименных с теми столбцами матрицы У, которые имеют в строке 2 значение О, — другой минор. Затем оба минора преобразуются путем инвертирования тех строк, в которых вектор-столбец х^s имеет значение 1, и обозначаются соответственно через D и Е. Далее находится такое строчное покрытие матрицы Е, чтобы соответствующая совокупность строк в матрице D оставляла непокрытыми максимальное число столбцов. Эти столбцы будут представлять собой элементы множества М₂¹, покрываемые найденным интервалом, а сам интервал определится выбором значений 0 и 1 из вектора х^s в строках, вошедших в покрытие, и присвоением значения «—» остальным компонентам представляющего его троичного вектора.       В данном случае

Оптимальным решением является здесь пара строк 1 и 6, формирующая из столбца х^s интервал 1 — — — —1 — —, ортогональный множеству М₂⁰ и покрывающий восемь элементов множества М₂¹.

Соответствующий однострочный интервальный минор (2) Х (а, b, h, i, т, р,s, t) принимается в качестве третьего элемента строящегося минорного покрытия матрицы Y.

После этого матрица У получает следующий вид: