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

• The Formulator 1.0
  The better you get at writing Excel formulas, the longer your formulas grow. The longer your formulas get, the harder they are to read, edit, and maintain. The Formulator...

• Strong Value Proposition Software 2.0
  Strong Value Proposition Software, Strategy, Model, Framework, Management, Strategic Analysis, Management

• Karnaugh Minimizer 1.4
  Boolean Algebra assistant programThe program allows to minimize Boolean function by a graphic method of Karnaugh maps

• Karnaugh Minimizer Pro 1.2.5
  Boolean Algebra assistant programThe program allows to minimize Boolean function by a graphic method of Karnaugh maps

• Karnaugh Minimizer 1.
  Boolean Algebra assistant programThe program allows to minimize Boolean function by a graphic method of Karnaugh maps