Logic Minimizer is a fast Boolean minimization software which has the following unique capabilities:
1. Very fast and efficient minimization e.g. any 8-variable function takes less than 2s and less than 2MB RAM to be evaluated on a 2 GHZ pc
2. step-by-step simplification of expressions making it an ideal tool for learning as well
3. multiple level of optimizing expressions with XOR gates
Propositional expressions are evaluated as well for artificial intelligence applications.
URL:
www.logicminimizer.com
