Автометрия 2008 номер 5

Автометрия

2008 год, номер 5

МИНИМИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ, ПРЕДСТАВЛЯЮЩИХ ЗАДАНИЕ НА СИНТЕЗ САМОПРОВЕРЯЕМЫХ ДИСКРЕТНЫХ АВТОМАТОВ

А. Ю. Матросова¹, В. В. Андреева²
¹ Томский государсвенный университет, г Томск, mau11@ yandex.ru
² Томский государсвенный университет, г Томск, mau11@ yandex.ru
Страницы: 100-111

Аннотация

Исследуется проблема получения безызбыточных частично монотонных реализаций. Вводится понятие максимального интервала системы функций с максимальной характеристикой. Показано, что кратчайшая безызбыточная реализация из таких интервалов получается объединением кратчайших реализаций для элементов системы частичных булевых функций с одной и той же характеристикой. Конъюнкции, представляющие максимальные интервалы, не содержат инверсий внутренних переменных в силу свойства частичной монотонности получаемых реализаций.

Скачать pdf-версию статьи

Издательство СО РАН

Главная – Журналы – Автометрия 2008 номер 5

Поиск по журналу