|
Автоматика и телемеханика, 2002, выпуск 4, страницы 161–175
(Mi at2065)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Автоматизация проектирования и программирования
Информационное содержание троичных диаграмм решений
Р. С. Станкович Университет Ниша, Югославия
Аннотация:
Исследуется информационное содержание троичных диаграмм решений(EXOR-TDD) с точки зрения спектрального преобразования. Поскольку EXOR-TDD определяются относительно расширенного (избыточного) базиса, ее информационное содержание значительно больше, чем у других диаграмм решений.
При построении EXOR-TDD для заданной функции $f$ определяются булевы производные всех возможных порядков по отношению ко всем переменным функции $f$. Показано, что за счет этого EXOR-TDD содержат в виде отдельных поддеревьев различные AND-EXOR – диаграммы решений.
Так как каждое из этих поддеревьев представляет некоторое AND-EXOR-выражение для $f$, предложена процедура определения коэффициентов этих выражений путем анализа путей в EXOR-TDD. Показано также, что из EXOR-TDD могут быть получены логические производные Гиббса.
Образец цитирования:
Р. С. Станкович, “Информационное содержание троичных диаграмм решений”, Автомат. и телемех., 2002, № 4, 161–175; Autom. Remote Control, 63:4 (2002), 666–679
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at2065 https://www.mathnet.ru/rus/at/y2002/i4/p161
|
|