Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for digital and formal logic scholars and academic or anybody involved with logical expressions.

Features: Logic Minimizer helps minimize logical expressions. Simplifying and minimising boolean and propositional expressions helps implement them in minimal hardware. That directly reduces cost of implementation. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, small digital devices constructors or anybody involved with logical expressions. Logic Minimizer has powerful formula handling capabilities and provides an array of features to allow you to work with all forms of logical expressions. The application is able to handle minimization of expressions with up to 24 variables. Boolean expressions can be converted into sum of products (SOP), products of sum (POS) and decimal notations. It works with Karnaugh maps, truth tables and set of terms. Minimized terms are highlighted on the Karnaugh maps.

The utility will optimize the simplified Boolean formula with XOR gates. You can draw the logic circuits with various types of logic gates. Propositional formulae can be converted to DNF and CNF forms and validity checked. All the Boolean and propositional operators are supported. The entry of the expressions is made easy by the expression friendly input. You do not need to change the expressions to any special format for input into the application. The expressions are simplified step by step to expressions of up to 8 variables. The result can be saved in several formats and the work can be restarted at any other time in future. Logic Minimizer allows you to fully customize the default variables names, operators and colors. Finally, if you need help, you can find the answers to all your questions in the inbuilt help system.

Overall: A nifty tool for logic minimizations. There are not many examples of software addressing this niche.