Logic Minimizer

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.

Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with logical expressions. With its powerful minimization capabilities and full-fledged features, you can work with all forms of logic expressions.
Features:
Minimize Boolean and propositional formulae up to 24 variables
Convert Boolean formulae into SOP, POS and decimal notation
Work with Karnaugh map, truth table and sets of terms
Highlight minimized term on Karnaugh Map
Draw logic circuit with various types of logic gates
Optimize simplified Boolean formula with XOR gates
Convert propositional formulae into DNF and CNF
Find validity of propositional formulae
Support all Boolean and propositional operators
Formula-input-friendly: no need to transform your formula before entering
Step by step simplification of Boolean and propositional expressions