数电第4讲.pptVIP

2.2 逻辑函数及其表示方法 一.逻辑函数 逻辑函数：——如果对应于输入逻辑变量A、B、C、…的每 一组确定值，输出逻辑变量Y就有唯一确定的值，则称Y是A、B、C、…的逻辑函数。记为： 注意：逻辑函数与普通代数中的函数相比较，有两个的特点： （1）逻辑变量和逻辑函数只能取两个值0和1，并且这里的0和1只表示两种不同的状态，没有数量的含义。 （2）函数和变量之间的关系是由“与”、“或”、“非”三种基本运算决定的。 逻辑表达式书写规则： 1）非运算可不加括号 2）与运算符 可省约 3）按“先与后或”的规则省去括号 （AB）+（CD）=AB+CD 但（A+B）（C+D）不能省 2.真值表：------是由变量的所有可能取值组合及其对应的函数值所构成的表格。 真值表列写方法： 每一个变量均有0、1两种取值，n个变量共有2n种不同的取值，将这2n种不同的取值按顺序（一般按二进制递增规律）排列起来，同时在相应位置上填入函数的值，便可得到逻辑函数的真值表。 * （3）逻辑函数相等的概念： 　　它们的变量都是A、B、C、…，如果对应于变量A、B、C、…的任何一组变量取值，Y1和Y2的值都相同，则称Y1和Y2是相等的，记为Y1=Y2。 　　若两个逻辑函数相等，则它们的真值表一定相同；反之，若两个函数的真值表完全相同，则这两个函数一定相等。因此，要证明两个逻辑函数是否相等，只要分别列出它们的真值表，看看它们的真值表是否相同即可。 证明等式： 设有两个逻辑函数 例如： 例如： 由真值表可以转换为逻辑表达式 表达式的列写方法：将真值表中那些使函数值为1的最小乘积项相加，（变量为1写为原变量；为0写为反变量）便得到函数的标准与或表达式。 例如： 由“三人表决”函数的真值表可写出逻辑表达式： 3．逻辑图——是由逻辑符号及它们之间的连线而构成的图形。 由函数表达式可以画出其相应的逻辑图。 例1. 画出下列函数的逻辑图： 解：可用两个非门、两个与门和一个或门组成。 为了方便可设定几个中间变量（L1 L2 L3） 由逻辑图也可以写出其相应的函数表达式。 例2. 写出如图所示逻辑图的函数表达式。 解：可由输入至输出逐步写出逻辑表达式： 4.卡诺图-----是由表示变量的所有可能取值组合的小方格所构成的图形。 逻辑函数卡诺图的填写方法： 在那些使函数值为1的变量取值组合，所对应的小方格内填入1，其余的方格内填入0，便得到该函数的卡诺图。 例如： ５、波形图(时序图） 　　波形图：是由输入变量的所有可能取值组合的高、低电平及其对应的输出函数值的高、低电平所构成的图形。 Ｙ＝ＡＢ＋ＢＣ Ａ Ｂ Ｃ Ｙ ０　０　０　０ ０　０　１　０ ０　１　０　０ ０　１　１　１ １　０　０　０ １　０　１　０ １　１　０　１ １　１　１　１ ０　０　０　０ 例如： 实际逻 辑问题 真值表 表达式 逻辑图 ２.３ 逻辑代数的公式、定理和规则 一、逻辑代数的公式和定理 1、常量之间的关系 2、基本公式 分别令A=0及A=1代入这些公式，即可证明它们的正确性。 3、基本定律 利用真值表很容易证明这些公式的正确性。如证明A·B=B·A： (A+B)(A+C)=AA+AB+AC+BC 分配率A(B+C)=AB+AC =A+AB+AC+BC 等幂率AA=A =A(1+B+C)+BC 分配率A(B+C)=AB+AC =A+BC 0-1率A+1=1 证明分配率：A+BC=(A+B)(A+C) 证明： 4、常用公式 分配率A+BC=(A+B)(A+C) 互补率A+A=1 0-1率A·1=1 　　例如，已知等式 　　　　　　，用函数Y=AC代替等式中的A，根据代入规则，等式仍然成立，即有： 二、逻辑代数运算的基本规则 　1、代入规则：任何一个含有变量A的等式，如果将所有出现A的位置都用同一个逻辑函数代替，则等式仍然成立。这个规则称为代入规则。 　2、反演规则：对于任何一个逻辑表达式Y，如果将表达式中的所有“·”换成“＋”，“＋”换成“·”，“0”换成“1”，“1”换成“0”，原变量换成反变量，反变量换成原变量(注：不是单变量上的非号不变），那么所得到的表达式就是函数Y的反函数Y（或称补函数）。这个规则称为反演规则。 例: 　3、对偶规则：对于任何一个逻辑表达式Y，如果将表达式中的所有“·”换成“＋”，“＋”换成“·”，“0”换成“1”，“1”换成“0”，而变量保持不变，则可得到的一个新的函数表达式Y＇，Y＇称为函Y的对偶函数。这个规则称为对偶规则。例如： 　　对偶规则的意义在于：如果两个函数相等