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