Quine-McLuskey algorithm