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