Karma 3 (KARnaugh MAps - Logic Synthesis - Quine-McCluskey algorithm) is a set of logic synthesis tools including Karnaugh maps, Quine-McCluskey minimization, BDDs, probabilities, teaching module and more!

Java Applet
Desktop Version (Full version)