The Quine McClusky Simplification Tool