1 2 3
QMC: simplification tool (by using the Quine - McClusky process) WWW: http://www.pollaknet.at/qmc/