用二维的方式表示定义域
构造逻辑相邻的定义域放在一起
所以用 格雷码 来构造
逻辑相邻的变量可以消去一个变量，代表可以化简
同时这个图要看成没有边界的，对应边环形相接的形式
高位的竖着写，低位的横着写
4 变量卡诺图对角线上最小项最大项都是 5 的倍数，奇数都在中间，偶数都在旁边
圈大小都是 次方，因为消去的变量每个都有两种状态
从相邻最少的 1 开始
5 个变量的话要做另一个表，用高维表示相邻，或者用对折
0,1 代表真实的值，最大项转换回去的时候 1 变回非，0 变回正常的值，相加再相乘
无关项 帮助卡诺圈尽可能扩大
多输出函数化简，全局最优不是局部最优，找到公共项