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.