前言
当时，看到了这样一个式子：
（MN(W+T)）+(FN(1-W))+B
用于寻找一位顾客中意的猫咪~
首先将实际问题，抽象出逻辑概念，能感受到传统代数与逻辑代数的区别，其次，为了能够更加简单地表述逻辑，想试着用卡诺图对上述的式子进行化简。
卡诺图实现过程
1. 首先，卡诺图是基于最小项进行化简的
由于B已经是单独一项了，所以不计入考虑。我们考虑的最小项由MNWTF组成。
例如：(如果不满足，则为非，值为0。M'，值为0；M，值为1)
| 最小项 | 数值 |
|---|---|
| M'N'W'T'F' | 00000 |
| M'N'W'T'F | 00001 |
| M'N'W'TF | 00011 |
针对上面的式子，进行展开：
MNW+MNT+FNW'+B
2. 填充卡诺图
卡诺图
3. 合并化简
通过相邻的1，进行合并，可以得到：
MN-MNW'T'F'+M'NW'F
细节
TF的顺序为 00 01 11 10，是为了能够让相邻的数字，相互之间只变化一位，方便后面的合并化简操作。
