Support for Logic Minimizer is available from the publisher site.
Short description: Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for digital and formal logic scholars and academic or anybody involved with logical expressions....
