МИНИМИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ, ПРЕДСТАВЛЯЮЩИХ ЗАДАНИЕ НА СИНТЕЗ САМОПРОВЕРЯЕМЫХ ДИСКРЕТНЫХ АВТОМАТОВ
А. Ю. Матросова1, В. В. Андреева2
1 Томский государсвенный университет, г Томск, mau11@ yandex.ru 2 Томский государсвенный университет, г Томск, mau11@ yandex.ru
Страницы: 100-111
Аннотация
Исследуется проблема получения безызбыточных частично монотонных реализаций. Вводится понятие максимального интервала системы функций с максимальной характеристикой. Показано, что кратчайшая безызбыточная реализация из таких интервалов получается объединением кратчайших реализаций для элементов системы частичных булевых функций с одной и той же характеристикой. Конъюнкции, представляющие максимальные интервалы, не содержат инверсий внутренних переменных в силу свойства частичной монотонности получаемых реализаций.
|