第03讲逻辑函数的化简：K图法汇总.pptVIP

数字逻辑设计 K图法 卡诺图 化简逻辑函数 卡诺图是真值表的图形表示 卡诺图中1个小方格对应于真值表中的1行。 卡诺图 化简逻辑函数（续） 名词术语： 乘积项（product term，简称积项） 变量以原变量或反变量的形式出现，多个变量之间执行“与”操作。 文字（literal） 乘积项中的变量或该变量的反变量称作一个文字。 最小项（minterm） 对于n 变量的逻辑函数来说，若每一个变量或以原变量形式、或以反变量形式在一个乘积项中出现 1 次、且仅出现 1 次，则该乘积项是最小项。 最小项对应于卡诺图中的一个小方格，它可以表示为 n 个变量之积，也可以记作 m i 。 例如最小项 的另一个等价表示形式是 m1。 最大项（maxterm） 对于n 变量的逻辑函数来说，若某个“或”项中包含的文字个数为 n，则称该“或”项为最大项。 卡诺图化简逻辑函数（续） 举例： 最小项的性质： 全体最小项之和（“或”运算）为1。 任意2个最小项互不相交，故任意2个最小项之积（“与”运算）为0。 若2个最小项之间只有1个文字不同，即在一个最小项中该文字为原变量，而在另一个最小项中该文字为反变量，则称这2个最小项“逻辑相邻”。根据公式（1-11a），逻辑相邻的2个最小项可以合并为1个乘积项，并且合并所得乘积项中的文字个数减少1个。 卡诺图是把逻辑相邻的最小项尽量安排成几何位置相邻，通过观察即可判定哪些最小项可以合并。 卡诺图化简逻辑函数（续） 举例： 卡诺图化简逻辑函数（续） 逻辑相邻与几何相邻： 2个逻辑相邻的乘积项在卡诺图中表现为几何位置的相邻，使我们通过观察图形即可实现块的合并，达到化简逻辑函数的目的。 可以把卡诺图想象为一张图纸，将其卷成一个圆筒，则原来两边不相邻的部分就变成相邻的部分了。 卡诺图 化简逻辑函数（续） 5变量卡诺图： 卡诺图 化简逻辑函数（续） 蕴含项（implicant） 若某乘积项能指明输入变量的取值组合可使给定逻辑函数 f 取值为1，则该乘积项是函数 f 的蕴含项。 蕴含项的包含关系（contain） 设蕴含项 A 由相邻最小项集合 Sa 合并而成，蕴含项 B 由相邻最小项集合 Sb 合并而成。若，即 Sa 中的每一个最小项都存在于Sb中，则称蕴含项B包含蕴含项A，记作 。 质蕴含项（prime implicant） 若某蕴含项不被其他任何一个蕴含项所包含，则该蕴含项是质蕴含项。在卡诺图中，若某个由相邻最小项构成的块已经是维数最大的块，不被其它任何一个块所包含，则该块对应的乘积项是质蕴含项。 卡诺图 化简逻辑函数（续） 特征最小项和必要质蕴含项（essential prime implicant） 若某最小项仅被唯一的一个质蕴含项所包含，则该最小项称为特征最小项，包含特征最小项的质蕴含项称为必要质蕴含项。 卡诺图 化简逻辑函数（续） 覆盖（cover） 若一个蕴含项的集合能说明给定逻辑函数 f 为 1 的所有情况，则称此蕴含项集合是函数 f 的覆盖。覆盖和函数的“积之和”表达式相对应。 最小覆盖（minimal cover） 函数的最小覆盖和成本最低的“积之和”表达式相对应，其要求为： 最小覆盖中包含的蕴含项个数最少。 每一个蕴含项的文字个数尽量少，即蕴含项的维数尽量大。 必要质蕴含项必定是最小覆盖的元素。 无冗余覆盖（non-redundant cover） 覆盖中每一个蕴含项必须是质蕴含项。 覆盖中不含冗余项。 当变量个数很多时，若求解函数的最小覆盖有困难，可退而求其次，转而求无冗余覆盖。 卡诺图 化简逻辑函数（续） 冗余项（redundant term） 设 A 是覆盖 C 中的一个蕴含项，若 A 所包含的每一个最小项皆存在于 C 中其它的蕴含项之中，则称 A 是相对于覆盖 C 的冗余项。换句话说，没有独立贡献的蕴含项是冗余项。 * * 变量个数 5时， 很难画出对应的卡诺图！！