Функциональные описания проектируемых цифровых устройств могут иметь сотни входных
переменных и десятки тысяч уравнений. В связи с этим возникает задача эффективного представления исходных
описаний цифровых устройств, которое позволит улучшить качество и сократить время синтеза цифрового
устройства. Предлагается использовать полиномиальное представление систем булевых функций, которыми может
описываться поведение дискретных устройств.
Рассматриваются представления системы булевых функций в виде полиномов Жегалкина и Рида-Маллера.
Описываются алгоритмы построения полиномов, исходя из различных форм задания поведения логических
устройств: систем полностью определенных булевых функций, систем частично определенных булевых функций,
таблиц истинности.