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 show four different versions of an optimized output logic circuit: a traditional version, a circuit with common inverters and NAND/NOR only circuit.
This is a full paid version (NO ADS!). Check the free version first before you buy it!