如果我想化简一个布尔函数，如果变量数大于6，无法使用卡诺图怎么办？

>如果变量数小于5,请使用Karnaugh Map Algorithm
>如果变量数为5或更多,请使用Quine McCluskey Algorithm

拷贝：

奎因－麦克拉斯基算法（Quine-McCluskey算法）是最小化布尔函数的一种方法。它在功能上等同于卡诺图，但是它具有文字表格的形式，因此它更适合用于电子设计自动化算法的实现，并且它还给出了检查布尔函数是否达到了最小化形式的确定性方法。

方法涉及两步：

1. 找到这个函数的所有素蕴涵项。
2. 使用这些素蕴涵项（prime implicant）来找到这个函数的本质素蕴涵项（essential prime implicant），对覆盖这个函数是必须的其他素蕴涵项也同样要使用。