Logic Minimizer 1.2
MINIMIZE BOOLEAN & PROPOSITIONAL EXPRESSIONS
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 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
What is new in 1.2 software version? - Step by step solution, solves up to 24 variables, more efficient at minimization. What is expected in the future? Newly-made Logic Minimizer 1.3 be downloaded from current page, we also looking forward to unconfirmed 1.4 release build. You may download logicmin1.2.zip directly, estimated download time by ADSL or EDGE [~1.8 Mbit/s] is 0:00:31. Just write the reviews of the Logic Minimizer. System requirements are PC with Pentium class processor, 64MB of RAM, 12.5MB of free hard disk space, mouse/pointing device. Program has been scanned and verified by the several antivirus and anti-spyware applications and Logic Minimizer found to be clean. The following languages are supported by Logic Minimizer: English.
