Karnaugh Minimizer é um bom software de versão de teste disponível apenas para Windows, que pertence à categoria Software de ciência e educação com subcategoria Matemática.