卡诺图化简的结果是唯一的吗 _卡诺图化简

同一个卡诺图化简结果是唯一的。
卡诺图是逻辑函数的一种图形表示，由莫里斯·卡诺（Maurice Karnaugh）发明。一个逻辑函数的卡诺图就是把该函数最小项表达式中的各最小项相应地填入一个方格图内，方格图称为卡诺图。卡诺图的构造特点使卡诺图具有一个重要性质：可以从图形上直观地找出相邻最小项，两个相邻最小项可以合并为一个与项并消去一个变量。
函数图形：卡诺图是逻辑函数的一种图形表示。卡诺图是一种平面方格图，每个小方格代表逻辑函数的一个最小项，故又称为最小项方格图。使用卡诺图最多只能化简6变量逻辑函数。
逻辑函数的唯一表示方法为什么是真值表和卡诺图逻辑函数的唯一表示方法是真值表，卡诺图不唯一
真值表就像数学函数的表格表示，描点作图法。不过直值表的“点”列出了定义域的所有点。
卡诺图化简，部分逻辑函数可以有多种画圈方法，所以不唯一的。
卡诺图化简一卡诺图的构成
卡诺图是一种平面方格图，每个小方格代表一个最小项，故又称为最小项方格图。
1．结构特点
卡诺图中最小项的排列方案不是唯一的，图2．5(a)、(b)、(c)、(d)分别为2变量、3变量、4变量、5变量卡诺图的一种排列方案。图中，变量的坐标值0表示相应变量的反变量，1表示相应变量的原变量。各小方格依变量顺序取坐标值，所得二进制数对应的十进制数即相应最小项的下标i 。
在五变量卡诺图中，为了方便省略了符号“m”，直接标出m的下标i。
从图25所示的各卡诺图可以看出，卡诺图上变量的排列规律使最小项的相邻关系能在图形上清晰地反映出来。具体地说，在n个变量的卡诺图中，能从图形上直观、方便地找到每个最小项的n个相邻最小项。以四变量卡诺图为例，图中每个最小项应有4个相邻最小项，如m5的4个相邻最小项分别是m1，m4，m7，m13，这4个最小项对应的小方格与m5对应的小方格分别相连，也就是说在几何位置上是相邻的，这种相邻称为几何相邻。而m2则不完全相同，它的4个相邻最小项除了与之几何相邻的m3和m6之外，另外两个是处在“相对”位置的m0(同一列的两端)和m10(同一行的两端) 。这种相邻似乎不太直观，但只要把这个图的上、下边缘连接，卷成圆筒状，便可看出m0和m2在几何位置上是相邻的。同样，把图的左、右边缘连接，便可使m2和m10相邻。通常把这种相邻称为相对相邻。除此之外，还有“相重”位置的最小项相邻，如五变量卡诺图中的m3，除了几何相邻的m1，m2，m7和相对相邻的m11外，还与m19相邻。对于这种情形，可以把卡诺图左边的矩形重叠到右边矩形之上来看，凡上下重叠的最小项相邻，这种相邻称为重叠相邻。
归纳起来，卡诺图在构造上具有以下两个特点：
☆ n个变量的卡诺图由2n个小方格组成，每个小方格代表一个最小项；
☆ 卡诺图上处在相邻、相对、相重位置的小方格所代表的最小项为相邻最小项。
二卡诺图的性质
卡诺图的构造特点使卡诺图具有一个重要性质：可以从图形上直观地找出相邻最小项合并。合并的理论依据是并项定理AB+AB=A 。例如，
根据定理AB+AB=A和相邻最小项的定义，两个相邻最小项可以合并为一个与项并消去一个变量。例如，4变量最小项ABCD和ABCD相邻，可以合并为ABD；ABCD和ABCD相邻，可以合并为ABD；而与项ABD和ABD又为相邻与项，故按同样道理可进一步将两个相邻与项合并为BD 。
用卡诺图化简逻辑函数的基本原理就是把上述逻辑依据和图形特征结合起来，通过把卡诺图上表征相邻最小项的相邻小方格“圈”在一起进行合并，达到用一个简单“与”项代替若干最小项的目的。
通常把用来包围那些能由一个简单“与”项代替的若干最小项的“圈”称为卡诺圈。
三逻辑函数在卡诺图上的表示
1．给定逻辑函数为标准“与-或”表达式
当逻辑函数为标准“与-或”表达式时，只需在卡诺图上找出和表达式中最小项对应的小方格填上1，其余小方格填上0，即可得到该函数的卡诺图。
例如，3变量函数F(A,B,C)=∑m(1,2,3,7)的卡诺图如图2．6所示。
2．逻辑函数为一般“与-或”表达式
当逻辑函数为一般“与-或”表达式时，可根据“与”的公共性和“或”的叠加性作出相应卡诺图。
例如，4变量函数F(A,B,C,D)=AB+CD+A·BC的卡诺图如图2．7所示。
填写该函数卡诺图时，只需在4变量卡诺图上依次找出和“与项”AB、CD、A·BC对应的小方格填上1，便可得到该函数的卡诺图。当逻辑函数表达式为其他形式时，可将其变换成上述形式后再作卡诺图。