12.4 电路的极小化

12.4 电路的极小化

在之前构建布尔函数部分，我们知道根据真值表我们可以写出所有的布尔函数，但是问题是这些布尔函数在电路实现上并不一定是最优价，比如：
$$F(x,y,z)=(x+y)\overline{z}=xy\overline{z}+x\overline{y}\overline{z}+\overline{x}y\overline{z}$$
在拆开来之前，就只需要一个+，一个-，一个.，三个门就可以解决，结果拆开来之后，需要的操作数量多了很多，但是传统情况下，我们又是根据真值表来构建布尔函数的，现在的问题就是，在构建完布尔函数之后，如何简化其式子，实现减少操作步骤的过程，说人话就是如何根据上面拆开的式子去获得没有拆开前的式子。

卡诺图

这个就是其中一个工具。

参考视频

这里先开始最简单的，2个元素的卡诺图，假设真值表如下所示：

A	B	F
0	0	1
0	1	0
1	0	1
1	1	1

然后根据之前的知识，我们可以写出F的布尔函数为：
$$F(A,B)=\overline{A}\overline{B}+A\overline{B}+AB$$
然后我们要化简上面的式子，就先构建下面这样的表格，把真值表中，为1的部分标进去：
这 里 为 了 便 于 表 示 ， 就 把 A ‾