卡诺图

卡诺图是包含一些小方块的几何图形，每个小方块称为一个单元，一个单元对应一个最小项。两个相邻的最小项在卡诺图里也必须是相邻的
卡诺图里相邻的意义是
1.几何相邻性：在几何位置上相邻，也就是左右紧挨或者上下紧挨
2.对称相邻性：图形中对称位置的单元是相邻的
比如对于三变量，你可以把它分为A和BC，纵轴写A的值，横轴写BC的值，记住BC的值必须也是相邻的，也就是说每两个之间差一个数字，比如00 01 11 10，而不是00 01 10 11
这样纵轴和横轴对应的元素一结合，就对应某一个m，我们一般觉得写m太麻烦，所以就用数字代替m写到方格里
对于四变量的卡诺图，m0和m8是相邻的，你自己画图看，他两是对称相邻.

用卡诺图表示逻辑函数有两种方法
第一种：已知最小项之和和真值表
如果我们已知真值表，那么就直接写了
如果已知最小项之和，我们列出为1时候各变量的值,然后再卡诺图里相应位置填1，其余位置填0。
F=非ABC+A非BC+ABC
第二种情况：根据一般形式写卡诺图
F=非A非BC+CD+非B非D
1：A=0,B=0,C=1
2: C=0,D=0
3: B=0,D=0
AB CD 00 01 11 10
00 1 11 11
01 1
11 1
10 1 1 1
因为11=1，所以上述图化简

卡诺图合并最小项规则
1.卡诺图上任意两个标1的方格相邻，可以合并为1项，并可消去一个变量
比如
A BC 00 01 11 10
0 0 0 1 0
1 0 1 1 0
对于上图，第三列可以合并，我们画上一个圆圈圈，第二行的第二和第三列可以合并。
对于第一个而言为非ABC+ABC=BC
对于第二个而言为A非BC+ABC=AC
再比如对于四变量而言
AB CD 00 01 11 10
00 1 1
01
11 1 1
10
我们很容易看出m0和m2这两个方格标1且相邻，所以消去C，保留ABD，结果是非A非B非D，剩下的类似
2.卡诺图上任何标四个1的方格相邻，可以合并为一项，并可消去两个变量
这分两种请情况
第一种情况：四个方格在同一行或同一列
你只要看谁变了，谁不变，就可以直接写出来
比如在第一行，AB肯定不变，消去CD
第二种情况：田字格
和第一种情况一样的，当然田字格也有可能是分布在四角上，这也是田字格
3.卡诺图上任何标1的8个方格相邻，可以合并为一项，并可消去三个变量
和之前一模一样，当然你可能会想两行连在一起，还有两行分开的。

用卡诺图把逻辑函数简化为最简与或式
最简标准：
1.乘积项的数目最少，意味着卡诺图中圈数最少
2.每个乘机项中的变量最少，意味着卡诺图中的圈尽可能大
求F(A,B,C)= m(3,4,5,6,7)的最简与或式
先画出3变量的卡诺图，然后找到3，4，5，6，7
在对应的方格写1
就得到最简与或式
记住圈的时候可以重叠，但是每两个圈必须有方格不一样
化简步骤
1.由表达式填卡诺图
2.圈出孤立的标1方格
3.找到只有一种圈法的标1方格，这一种圈法要大
4.将剩余的标1方格圈成尽可能少，而且尽可能大的圈
5.相加
化简注意事项
1.每一个标1的方格必须至少被圈一次
2.每个圈中包含的相邻的最小方格数必须是2的整数次幂
3.为了得到尽可能大的圈，圈与圈之间可以重叠
4.若某个圈中标1的方格完全被其他圈所覆盖，则该圈为多余圈

用卡诺图求一个函数的反函数
可以得到反函数的最简与或式
这一点是比用反演规则求所没有的
直接在卡诺图里合并标0的方格，就得到反函数的最简与或式