|
|
Logic Minimizer
-
Version
1.2
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
|