Karnaugh Analyzer is described as 'light and fast program that can analyze Karnaugh Map and not only this!!!!'. There are three alternatives to Karnaugh Analyzer for Windows and Linux. The best alternative is Karnaugh Map Minimizer, which is both free and Open Source. Other great apps like Karnaugh Analyzer are Karnaugh Studio (Free) and Karnaugh Minimizer (Paid).
Karnaugh Map Minimizer is free (GPL) software for minimizing boolean functions using the graphic method of Karnaugh maps. I made it primarily for educational purposes so double check the output if you intend to use it for any "real" work.
Karnaugh Studio is a graphical editor for truth function design and minimization using the Karnaugh mapping method. It supports performing both manual and fully automatic minimization on up to 32 functions in a single project with a maximum of 8 input variables.
Boolean minimization - that is the key answer to this problem, Karnaugh Minimizer Standard can help you to simplify logical equations all over your source code, and you can use this tool as a little helper in your hard refactoring works.