QMC: simplification tool (by using the Quine - McClusky process)

WWW: http://www.pollaknet.at/qmc/