This application solves Karnaugh Map, also called Kmap, for 2, 3, 4 or 5 variables. It is the only application I know that will provide (and show on Kmap) ALL possible kmap solutions. It will also shows four different versions of an optimized output logic circuit: a tradicional version, a circuit with common inverters and NAND/NOR only circuit.
This is a full paid version. Check the free version first before you buy it!