Quine–McCluskey 逻辑函数化简算法（未完）

　　Quine–McCluskey 算法是由W.V. Quine and Edward J. McCluskey开发的一种逻辑函数化简方法，类似于卡诺图 （Karnaugh mapping）化简法，但是这种列表形式的算法更适合计算机语言实现，并且给出了一种判断函数是否达到最简的确定方法。这种方法有时也称为制表化简法。

　　此方法分两步计算：

　　1. 找出函数的全部最小项（prime implicants ）

　　2. 在最小项表中找出函数包含的最小项，以及其他一些必要的最小项

　　复杂性

　　尽管处理4变量以上的逻辑函数时比卡诺图更实用，应为所处理的问题是 NP-hard类型的，Quine–McCluskey 算法在使用时仍然有局限性。算法运行时间随着变量数呈指数增长。可以看出对于一个n变量的逻辑函数，其最小项个数可达3^n/n个，如果n=32,将会有6.5*10^15个最小项。所以包含大量变量的逻辑函数必须以非最优化的启发式化简法进行化简。其中 Espresso heuristic logic minimizer就是事实上的化简标准。

　　例子