Welcome
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
- Complete optimization of simplified Boolean formula with XOR gates
- Draw logic circuit with various types of logic gates
- Convert propositional formulae into DNF and CNF
- Find validity of propositional formulae
- Support all Boolean and propositional operators and constants
- Formula-input-friendly: enter formulae just like the way you write them on paper
- Step by step simplification of Boolean and propositional formulae up to 8 variables
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.
"...this product is easy to use, it has a professional-looking
interface, it is excellent compared to other programs in this section..."
BrotherSoft.com
