Karnaugh Minimizer is described as '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' and is an app. There are 2 alternatives to Karnaugh Minimizer for Windows and Linux. The best Karnaugh Minimizer alternative is Karnaugh Map Minimizer, which is both free and Open Source.
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.
Czechia
EU