Quine-McClusky implementation