Quine-McCluskey method implemented in lisp