|
I found a tool : Logic Minimizer4 F' i/ g" z; W6 S
# ]1 S, A* D2 |, k7 }8 ~/ [Logic Minimizer simplifies logical expressions, namely Boolean and propositional expressions. Whether you are a digital or formal logic academic or scholar, a digital circuit constructor or somebody involved with logical expressions, Logic Minimizer has powerful minimization capabilities and provides an array of features to allow you to work with all forms of logical expressions.
) f8 m0 k: ^4 |) ?+ C% V- g
, U& f, ?7 i" p0 \: nbelow link can download it,
- d- z$ d1 n9 u. @! _8 |7 ^) @http://www.logicminimizer.com/download/download.htm9 v0 v8 b, K7 j% E+ d
but max variable can be used is only 4 if not registered,
+ U# k% i7 I# o5 W! s) n% T
- W2 K: Z. O r1 U3 b* r: t0 A+ a p5 PDoes anyone know any other tool like this and can use more than 4 variable? |
|