Минимизация логических функций картами Карно
Алгоритм минимизации Минимизируемая логическая функция представляется картой Карно. При этом аргументы делятся на две группы, комбинации значений аргументов одной группы приписываются столбцам карты, комбинации значений аргументов другой группы - строкам карты. Столбцы и строки обозначаются комбинациями, соответствующими последовательности чисел в коде Грея ( Проводится анализ таблицы, в результате которого определяются максимальные правильные контуры, охватывающие единичные и условные клетки. Для каждого максимального правильного контура определяется обобщенный код, соответствующий разрешенным наборам, входящим в этот контур, и в соответствии с обобщенным кодом записываются выражения простых импликант. Используя все найденные импликанты, находится Ск.ДНФ. Для получения ТНДФ выбираются такие максимальные контуры, которые по совокупности охватили все единичные клетки, а каждый контур содержал бы хотя бы одну единичную клетку, принадлежащую этому контуру.
|
). Единицы заносятся в клетки соответствующие разрешенным наборам.
