Минимизация не полностью определенных булевых функций

Я вообще далек от математики и хотел бы узнать существуют ли алгоритмы(программы), которые получают неизбыточные(абсолютно) минимальные формы логических выражений, с учетом неопределенных состояний?