Quine-McCluskey Method

Example:

4 terms: abcd
minterms: 1 3 4 5 6 7 10 14 15

(quine-mccluskey "abcd" '(1 3 4 5 6 7 10 14 15))