Logic Minimizer

Logic Minimizer is a lightweight Windows application designed specifically for helping you simplify logical expressions, namely Boolean and propositional expressions.

The utility gives you the possibility to switch between the Karnaugh and propositional logic truth table. You may minimize Boolean and propositional formulae up to 24 variables and convert Boolean formulae to SOP, POS and decimal notation.

Logic Minimizer helps you work with Karnaugh map, truth table and sets of terms, highlight minimized terms on Karnaugh map, as well as optimize simplified Boolean formula with XOR gates.

What’s more, you are allowed to draw logical circuit with different types of logic gates, convert propositional formulae to DNF and CNF data, and test the validity of propositional formulae.

Good news is that the application supports all Boolean and propositional operators, and constants. Plus, it provides step-by-step simplification of Boolean and propositional formulae up to 8 variables.

You may insert values directly into the map, make use of sets to fill a large number of cells in the Karnaugh map, and fully customize the default variables names, operators and colors.

Tests have shown that the application carries out a task quickly and without errors. It runs on low memory resources, so the overall performance of the computer is not hampered.

All things considered, Logic Minimizer integrates a handy suite of features for helping you simplify logical expressions. On the downside, the GUI cannot be described as highly intuitive, so less experienced users are likely to spend extra time getting used to the program’s features. A help manual is included in the package and can be consulted in case you have questions regarding the tool’s capabilities.