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. I hope it helps you with whatever you are doing.
This program sports some of the most amazing features in Karnaugh map minimizing sofware known to modern man, like solving up to 8 variable maps, solution highlighting, input form a truth table or directly on the map, displaying cell adresses and if you download today, you can have it for free, to use and share with your loved ones. If you're still not convinced click on the image on the right to see a screenshot of the program in all it's glory!
Current version of Karnaugh Map Minimizer is 0.4.
If you want to compile it from source code yourself you will need WxWidgets toolkit (avaliable for wide variety of platforms). KMM is written in C++ and compiled with gcc 3.4.2 compiler.
If you have any comments about the program, you can contact me at this mail: firstname.lastname@example.org.