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