数字电子技术基础课件作者杨碧石数字第1章节.ppt

（3）基本定理 利用真值表很容易证明这些公式的正确性。如证明A·B=B·A： 1.3.2常用公式 分配率A+BC=(A+B)(A+C) 互补率A+A=1 0-1率A·1=1 (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+BA=(A+B)(A+C) 证明： 互补率A+A=1 分配率A(B+C)=AB+AC 0-1率A+1=1 　　例如，已知等式 　　　　　　，用函数Y=AC代替等式中的A，根据代入规则，等式仍然成立，即有： 2.3.3逻辑代数的重要规则 　（1）代入规则：任何一个含有变量A的等式，如果将所有出现A的位置都用同一个逻辑函数代替，则等式仍然成立。这个规则称为代入规则。 　（2）反演规则：对于任何一个逻辑表达式Y，如果将表达式中的所有“·”换成“＋”，“＋”换成“·”，“0”换成“1”，“1”换成“0”，原变量换成反变量，反变量换成原变量，那么所得到的表达式就是函数Y的反函数Y（或称补函数）。这个规则称为反演规则。例如： 　（3）对偶规则：对于任何一个逻辑表达式Y，如果将表达式中的所有“·”换成“＋”，“＋”换成“·”，“0”换成“1”，“1”换成“0”，而变量保持不变，则可得到的一个新的函数表达式Y＇，Y＇称为函Y的对偶函数。这个规则称为对偶规则。例如： 　　对偶规则的意义在于：如果两个函数相等，则它们的对偶函数也相等。利用对偶规则,可以使要证明及要记忆的公式数目减少一半。例如： 　　注意：在运用反演规则和对偶规则时，必须按照逻辑运算的优先顺序进行：先算括号，接着与运算，然后或运算，最后非运算，否则容易出错。 1.4 逻辑函数及其表示方法 　　（1）逻辑表达式：由逻辑变量和与、或、非3种运算符连接起来所构成的式子。在逻辑表达式中，等式右边的字母A、B、C、D等称为输入逻辑变量，等式左边的字母Y称为输出逻辑变量，字母上面没有非运算符的叫做原变量，有非运算符的叫做反变量。 　　（2）逻辑函数：如果对应于输入逻辑变量A、B、C、…的每一组确定值，输出逻辑变量Y就有唯一确定的值，则称Y是A、B、C、…的逻辑函数。记为 　　注意：与普通代数不同的是，在逻辑代数中，不管是变量还是函数，其取值都只能是0或1，并且这里的0和1只表示两种不同的状态，没有数量的含义。 1.4.1常用的逻辑运算 （1）与非运算：逻辑表达式为： （2）或非运算：逻辑表达式为： （3）异或运算：逻辑表达式为： （4） 与或非运算：逻辑表达式为： 1.4.2逻辑函数的表示方法 1、真值表 　　　真值表：是由变量的所有可能取值组合及其对应的函数值所构成的表格。 　　真值表列写方法：每一个变量均有0、1两种取值，n个变量共有2i种不同的取值，将这2i种不同的取值按顺序（一般按二进制递增规律）排列起来，同时在相应位置上填入函数的值，便可得到逻辑函数的真值表。 　　例如：当A=B=1、或则B=C=1时，函数Y=1；否则Y=0。 2、逻辑表达式 　　逻辑表达式：是由逻辑变量和与、或、非3种运算符连接起来所构成的式子。 　　函数的标准与或表达式的列写方法：将函数的真值表中那些使函数值为1的最小项相加，便得到函数的标准与或表达式。 3、卡诺图 　卡诺图：是由表示变量的所有可能取值组合的小方格所构成的图形。 　　逻辑函数卡诺图的填写方法：在那些使函数值为1的变量取值组合所对应的小方格内填入1，其余的方格内填入0，便得到该函数的卡诺图。 4、逻辑图 　　逻辑图：是由表示逻辑运算的逻辑符号所构成的图形。 Ｙ＝ＡＢ＋ＢＣ ＡＢ ＢＣ ５、波形图 　　波形图：是由输入变量的所有可能取值组合的高、低电平及其对应的输出函数值的高、低电平所构成的图形。 Ｙ＝ＡＢ＋ＢＣ Ａ Ｂ Ｃ Ｙ ０　０　０　０ ０　０　１　０ ０　１　０　０ ０　１　１　１ １　０　０　０ １　０　１　０ １　１　０　１ １　１　１　１ ０　０　０　０ Ｙ 1.4.3 逻辑函数表示方法之间的转换 1、由真值表到逻辑图的转换 真值表 逻辑表达式或卡诺图 1 1 最简与或表达式 化简 2 或 2 画逻辑图 3 ≥1 ABC A 最简与或表达式 C B B A A C AB AC Y A C B B A A C Y ABC AB AC 若用与非门实现，将最简与或表达式变换乘最简与非-与非表达式 3 2、由逻辑图到真值表的转换 逻辑图 逻辑表达式 1 1 最简与或表达式 化简 2 A ≥1 C B B A A C Y ≥1 ≥1 2 从输入到输出逐级写出 最简