Generates Karnaugh map (also known as Karnaugh-Veitch map or diagram) for given propositional formula. Supports arbitrary formula complexity, but the resulting map (and DNF expression) might not be optimal for formulas containing 5+ distinct variables.
Downloads: 2,200+ (for Android)
Report app for spam or abuse!
for Android