数字电路基础D01–04逻辑函数的描述.docVIP

1.4逻辑函数的描述 常用的逻辑函数描述方法有逻辑函数真值表(简称真值表)、逻辑函数表达教、逻辑电路图和卡诺图法等，它们在设计和分析逻辑电路时非常重要。真值表和逻辑函数表达式在上节己作了简单介绍，卡诺图将在下节详细讨论。 1.4.1逻辑函数的建立和描述方法 对于任何一个具体的二值逻辑问题，我们常常可以设定此问题产生的条件为输入逻辑变量，设定此问题产生的结果为输出逻辑变量，从而用逻辑函数来描述它。 下面举一个实例来说明逻辑函数的建立过程以及它的描述方法；某系统为验收判决逻 辑，判决原则是当3个验收报告中有两个及两个以上通过时，我们认为系统验收合格，否则为不合格。设3个验收报告分别为A、B、C，系统验收结果为Y，若用1表示验收报告通过，0表示不通过，1表示系统合格，0表示系统不合格，其逻辑函数真值表列于表l-4-1中。 由此可见，真值表就是将输入变量的所有取值和其对应的输出值用表格来表示，它是直观地描述逻辑变量之间的逻辑关系的有效方法。 当把逻辑函数输出和输入之间的逻辑关系写成与、或、非等运算的组合式，就得到了所需逻辑函数表达式。对上例，其Y＝AC十AB十BC。 将逻辑函数中各变量之间的与、或、非等逻辑关系用与、或、非门等电路图形符号表示出来，就可以得到表示逻辑函数关系的逻辑电路图。 卡诺图是描述逻辑函数的第四种方法，它是用几何图形来简化逻辑函数表达式，并将表达式转化最简形式的有用工具。 逻辑函数真值表、逻辑函数表达式、逻辑电路图、卡诺图是描述一个逻辑问题的四种不同形式，这四种形式是可以相互转换的，或者说，由其中—种形式可以得到其他任一种形式。 1.4.2 逻辑函数表达式的两种标准形式 在讨论逻辑函数的标准式之前，首先要了解最小项、最大项的定义和性质，然后再介绍逻辑函数的最小项之和及最大项之积这两种标准形式。 1． 最小项的定义和性质 在n个变量的逻辑函数中，若m是由n个变量组成的乘积项，而且这n个变量均以原变量或反变量的形式在m中出现一次，则称该乘积项m为该组逻辑变量的最小项。 由于一个变量仅有0和1两种形式，因此n个变量的逻辑函数共有2n个最小项。 例如，三变量逻辑函数，共有23＝8个最小项。 如果把AC的取值101作为一个二进制数，那么它所表示的十进制数就是5，因此为今后计算方便，将这个最小项表示为m5。 按照这一约定，表1—4—2示出了三变量逻辑函数的最小项及其编号。 同样，我们把A、B、C、D这4个逻辑变量的24＝16个最小项记作为m0 ～m15 由最小项的定义可以证明其具有如下的重要性质： (1)n个变量的全部最小项之和为l 这是因为n个变量的任意一组取值，总有一个最小项取值为1；其余取值均为0。 (2)任意两个最小项的乘积恒为0。 因为变量的每一组取值，两个不同的最小项不可能同时为l，所以两个最小项相乘必 为0。 (3)n个变量的任一个最小项有n个“相邻项”。 若两个最小项只有一个因子不同(互补)，则称这两个最小项是相邻项。例如，三变 量的一个最小项ABC，则它的相邻项共有3个相邻项。 由此可以推得，具有相邻性的两个最小项之和可以合并成一项并消去一个变量。 例如，两个相邻的最小项取和，，结果合并为一项，并将互补因子消去。 2．最小项标准与或表达式 任何一个逻辑函数，都可以表示成若干个最小项之和，称为最小项标准与或表达式， 或称为最小项之和表达式，式(1—4—1)即为标准与或表达式。下面介绍求逻辑函数标准与或表达式的两种方法。 利用基本公式A十＝1，可以把缺少变量A的乘积项拆项为两个包含A和的 乘积项之和。 [例1—4-1]写出Y=AB十AC十BC的最小项标准与或表达式。 解Y=m3十m5十m6十m7＝?(3，5，6，7) (2)由真值表求标准与或表达式。 前面已经讨论过，任何一个逻辑函数都可以用真值表来描述，真值表中的每一行，实 质上就是一个最小项。所以，只要将真值表中输出函数Y＝1的最小项相加，就是此函数 的标准与或式，即式(1—4—1)。 应当指出，对于任何一个逻辑函数，它的真值表是唯一的，由此它的标准与或式也是唯一的。 3．最大项的定义和性质 在n个变量的逻辑函数中，若M是n个变量之和项，而且这个变量均以原变量或反变 量的形式在M中出现一次，则称M为该组逻辑变量的最大项；同样，n个变量的逻辑函数共有2n个最大项。 对逻辑函数最大项的编号恰好与最小项的编号相反，若为原变量时，则变量取值为0，若为反变量时，则变量取值为l。例如，当三变量的取值为101时，最大项为十B十，其编号为M5，三