|
I found a tool : Logic Minimizer
7 l8 w ?/ p$ |! _0 u( l: ?
+ w) ]& P3 y5 @9 aLogic 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.
3 }& W& G" p U4 t" k' ~' x) z7 A# W& k" r* o# b' w8 j/ @4 O
below link can download it,7 a N. n8 u2 M- h1 Y# j# o. h
http://www.logicminimizer.com/download/download.htm! r/ x/ a: d4 R
but max variable can be used is only 4 if not registered,: Q* a- d& Z, t! q* f9 L' j
1 ]$ }! N0 T' ]# Y
Does anyone know any other tool like this and can use more than 4 variable? |
|