Logic Minimizer description

Logic Minimizer was designed to be an application that simplifies logical expressions, namely Boolean and propositional expressions.
 
Whether you are a digital or formal logic academic or scholar, a small digital circuit constructor or somebody 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. 

You can also easily save your work in various formats and resume working at a later date. In addition to these, 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.

· Minimize Boolean and propositional formulae up to 8 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
· 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: enter formula in virtually any form

Limitations:

· 30 days trial
· Some features are disabled in the unregistered version

Whats New in This Release

· Step by step solver handles XOR operator, compatible with Windows 7