Quine-McClusky process simplification tool