Karn Map is an educational application that offers several tools to simplify logic functions. Automatic Veitch Karnaugh maps simplification is available for 3 to 5 variable logic functions. Functions can also be input by its logical expression, truth table, sum of minterms, or product of maxterms.