Какой это лучшее программное обеспечение минимизации булевых?

[gtan]

Мне нужно, чтобы свести к минимуму Некоторые булевы функции не более 4 переменные.Я наткнулся на следующие пакеты.Каждая больше дает различные решения для некоторых аналогичных материалов.Любая идея, какой из них лучше?

Карно Analyzer (www.phoenixbit.com)
Карно Minimizer (karnaugh.shuriksoft.com)
Логика Minimizer (www.logicminimizer.com)

Или есть лучший пакет?