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

[sa-guitar-ius.livejournal.com]

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

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

Comments

[sa-guitar-ius.livejournal.com]

спасибо