Logic Minimizer for Windows

The description of Logic Minimizer - Play With New Friends

Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. 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.Features:Minimize Boolean and propositional formulae up to 24 variablesConvert Boolean formulae into SOP, POS and decimal notationWork with Karnaugh map, truth table and sets of termsHighlight minimized term on Karnaugh MapDraw logic circuit with various types of logic gatesOptimize simplified Boolean formula with XOR gatesConvert propositional formulae into DNF and CNFFind validity of propositional formulaeSupport all Boolean and propositional operatorsFormula-input-friendly: no need to transform your formula before enteringStep by step simplification of Boolean and propositional expressions