卡诺图---真值化简

前言

当时，看到了这样一个式子：
（MN(W+T)）+(FN(1-W))+B
用于寻找一位顾客中意的猫咪~
首先将实际问题，抽象出逻辑概念，能感受到传统代数与逻辑代数的区别，其次，为了能够更加简单地表述逻辑，想试着用卡诺图对上述的式子进行化简。

卡诺图实现过程

1. 首先，卡诺图是基于最小项进行化简的

由于B已经是单独一项了，所以不计入考虑。我们考虑的最小项由MNWTF组成。
例如：(如果不满足，则为非，值为0。M'，值为0；M，值为1)

针对上面的式子，进行展开：
MNW+MNT+FNW'+B

2. 填充卡诺图

卡诺图

3. 合并化简

通过相邻的1，进行合并，可以得到：
MN-MNW'T'F'+M'NW'F
细节
TF的顺序为 00 01 11 10，是为了能够让相邻的数字，相互之间只变化一位，方便后面的合并化简操作。