卡諾图

在上计算机组成原理的时候老师介绍了一个问题：化简一个只含与或非的逻辑表达式。不清楚什么是最简的（囧），暂时认为他指的是所有变量出现的总次数最少（包括变量的非）。老师介绍了一种神奇的一般的化简方法：卡諾图。记与运算为$\times$,或运算为$+$,具体来说，
1.把原式化成若干个最小项相或的形式，因为$A=A\times(B+\widetilde{B})$,因此，所有项都可以补成最小项的形式
2.引入相邻项的概念，相邻项指的是两个最小项只有一个变量不同。
3.对于连续的$2^k$项相邻项，可以消去k个变量
由此，只要构造出相邻项序列，就可以得到一个$O(2^{2n})$的算法