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

В матрице Y легко выявляются существенные элементы y₁⁴ и y₆⁶. Первый из них определяет максимальный минор, образуемый пересечением столбцов 1 и 4 со строками 1, 4 и 5. Минимальный покрывающий интервал для соответствующих ему столбцов 1 и 4 матрицы Х имеет значение 0— — 1 0 и не содержит, как нетрудно проверить, других элементов множества М_F, откуда следует, что данный минор является интервальным и может быть включен в решение. Аналогично показывается, что интервальным является и минор, определяемый элементом y₆⁶. Отмечая знаком + покрываемые этими минорами элементы Y , преобразуем последнюю к виду.

Здесь находятся определяющие элементы y₃³и y₅⁵ , определяемые которыми миноры также оказываются интервальными и покрывают остальные единичные матрицы Y.

В результате матрица Y разлагается на четыре интервальных минора системы (X, Y).