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

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