Минимизация булевых функций (получение МДНФ)

#cpp #алгоритм #дискретная_математика #булева_алгебра

Ещё в прошлом году у меня был курс дискретной математики, и с её основами я знаком.
Мне бы хотелось, что бы вы помогли мне с написанием алгоритма получения ДНФ, и объяснения
того, как из ДНФ перейти в МДНФ. 

Я ищу любой пример реализации этой задачи, не обязательно на C++. Главное, что бы
был понятен алгоритм получения ДНФ и МДНФ. Было бы здорово, если бы вы развёрнуто прокомментировали
алгоритм (что на входе, что на выходе, и т.д.).

Возможно я не туда пишу, но знаю, что тут есть умные люди, а других хороших сервисов
я не знаю. Буду рад, если вы подскажите другие сервисы, на которых я мог бы задать
этот вопрос.
    

Ответы

Ответ 1

Посмотрите вот этот проект. Если ссылка со временем окажется битой - гуглите 
Quine-McCluskey minimizer.