download25.com
Your free TOP 25 download source!
Logic Minimizer 1.1
Minimize boolean & propositional expressions, using Karnaugh maps
|
||||||||||||||||||||
|
Review 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, small digital devices constructors or anybody involved with logical expressions. Features: Minimize Boolean and propositional formulae up to 8 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 |
||||||||||||||||||||
|
|
||||||||||||||||||||
(logicmin1.1.zip - 6.34 MB)
|
||||||||||||||||||||
