Информационное содержание троичных диаграмм решений

Исследуется информационное содержание троичных диаграмм решений(EXOR-TDD) с точки зрения спектрального преобразования. Поскольку EXOR-TDD определяются относительно расширенного (избыточного) базиса, ее информационное содержание значительно больше, чем у других диаграмм решений.
При построении EXOR-TDD для заданной функции $f$ определяются булевы производные всех возможных порядков по отношению ко всем переменным функции $f$. Показано, что за счет этого EXOR-TDD содержат в виде отдельных поддеревьев различные AND-EXOR – диаграммы решений.
Так как каждое из этих поддеревьев представляет некоторое AND-EXOR-выражение для $f$, предложена процедура определения коэффициентов этих выражений путем анализа путей в EXOR-TDD. Показано также, что из EXOR-TDD могут быть получены логические производные Гиббса.