Способ минимизации дизъюнктивных нормальных форм булевых функций
Автор: Песков Роман Николаевич, Щенников Владимир Николаевич
Журнал: Инженерные технологии и системы @vestnik-mrsu
Рубрика: Алгебра и геометрия
Статья в выпуске: 4, 2010 года.
Бесплатный доступ
Рассмотрена задача минимизации булевых функций в классе дизъюнктивных нормальных форм. Приведено описание метода, использующего разложение в виде декомпозиционного дерева, для поиска простых импликант. По импликант-ной матрице строится система ограничений и составляется задача линейного программирования. Предложено использовать разбиение системы ограничений в случае большого количества переменных.
Короткий адрес: https://sciup.org/14719576
IDR: 14719576
Список литературы Способ минимизации дизъюнктивных нормальных форм булевых функций
- Глушков В. М. Синтез цифровых автоматов/В. М. Глушков. -М. Физматгиз, 1962. -С. 264-267.
- Майстрова Т. Л. Линейное программирование и задача минимизации нормальных форм булевых функций/Т. Л. Майстрова//Проблемы передачи информации: Сб. -М.: АН СССР, 1962. -Вып. 12. -С. 5-15.
- Сапоженко А. А. Минимизация булевых функций в классе дизъюнктивных нормальных форм/А. А. Сапоженко, И. П. Чухров//Итоги науки и техники: Сб. -М.: ВИНИТИ, 1987. -Т. 25. -С. 68-116.
- Friedel М. The Decomposition Tree for analyses of Boolean functions/M. Friedel, S. Nikolajewa, T. Wilhelm//Math. Struct, in Comp. Science. -2008. -Vol. 18. -P. 411-426.
Статья научная
