построение ДНФ, КНФ и минимизация (Дискретная Математика)

[sa-guitar-ius.livejournal.com]

Вот преподаватели часто говорят, что какие-то методы построения ДНФ для логических функций (метод Квайне например), хорошо поддаются алгоритмизации, что их можно загнать в компьютер и это позволит легко получать ДНФ для даже больших функций.
Однако я что-то не встречал программ, с нормальным интерфейсом, позволяющих, например по таблице истинности (считай по вектору значений) получить минимальную ДНФ. А может ещё и схему функциональную накидать сразу.

Может кто подскажет? Может есть такие программы?..

Comments

[alauxdo.livejournal.com]

Обычно для минимизации используется все-таки алгоритм Quine-McCluskey, есть куча уже готовых программ, в том числе и броузерных, написанных на Яве, что минимизуют булевы функции. Достаточно заглянуть в статью в английской Википедии и пролистать ее до раздела "ссылки".

[grey-horse.livejournal.com]

Очень специальный вопрос, вам бы лучше в ru_math.

[sa-guitar-ius.livejournal.com]

спасибо