Gorgeous Karnaugh software: 1) Removes slow tedious and error prone pen and paper from your life 2) Gives you a pretty good logic simplification tool 3) Supports definition of logic function using truth table from analytic form or by direct editing karnaugh maps 4) Supports "Dont Care" condition 5) Supports up to 12 variables (really this is limited only by computer speed and display resolution) 6) Gives "Automatic max coverage lookup" feature for best minimization 7) Supports "Espresso" logic functions minimization tool 8) Gives random function generation for education purposes 9) Represents minimization results in "Implicant" table 10) Automaticaly calculates function costs (by Quine) 11) Supports multiple output formats - analytic form C/C++ code VHDL/Verilog code 12) Has clipboard support for best K-maps representation in thesis and degree projects