第二章数字逻辑2012要点.ppt

1 第二章 逻辑代数基础 2.1 逻辑代数的基本概念 2.2 逻辑代数的基本定理和规律 2.3 逻辑函数表达式的形式与变换 2.4 逻辑函数的化简 2 2.1.1 三种基本运算 前面介绍了数字信号是离散信号，其变量只有两种取值，故称双值变量。 定义：逻辑代数L是一个封闭的代数系统，它由一个逻辑变量集K、常量0和1以及“逻辑乘(与)”、 “逻辑加(或)”、“逻辑反(非)”三种基本运算所构成，记为： L={ K , + , · , - , 0 , 1 } 一、逻辑代数的定义 3 二、逻辑代数的三个基本运算 若定义开关闭合为1，断开为0。灯亮为1，灯灭为0。 1、与运算 4 即 F＝f(A，B)＝A∧B=A·B＝AB 定义：某个事件受若干个条件影响，若所有的条件都齐备，该事件才能成立，这样的逻辑关系被称为逻辑乘(与)。 实现逻辑乘的逻辑电路称为与门。 与门的逻辑符号为： 5 若定义开关闭合为1，断开为0。灯亮为1，灯灭为0。 2、或运算 6 或门的逻辑符号为： 实现逻辑加的电路称或门。 即：F＝f(A，B)＝A∨B＝A＋B 定义：一个事件的成立与否有许多条件，只要其中一个或几个条件成立，事件便成立，这样的逻辑关系被称逻辑加（或）。 7 3、非运算 若定义开关闭合为1，断开为0。灯亮为1，灯灭为0。 8 非门的逻辑符号为： 完成逻辑反运算的电路称非门。 定义：一个事件的成立取决于条件的否定，即事件与事件的成立条件之间构成矛盾，这样的逻辑关系称逻辑反（非）。 9 2.1.2逻辑函数及逻辑函数间的相等 一、逻辑函数的定义 (1)逻辑变量和逻辑函数的取值只有0和1。 (2)函数和变量之间的关系由“与、或、非”三种基本运算决定。 设某一逻辑电路的输入为A1A2……An，输出函数为F，当A1A2……An的值确定之后，F的值就唯一的确定了，则称F为A1A2……An的逻辑函数。记为： F＝f(A1A2……An) 10 二、逻辑函数的相等 设有F1＝f1(A1A2……An)、F2=f2(A1A2……An)如果对应A1A2……An的任一组取值，F1和F2的值都相等，则称F1和F2相等。计为F1＝F2 。 判断两个逻辑表达式是否相等的方法有： 1、列表法 2、利用逻辑代数的公理、定理和规则证明。 11 2.1.3 逻辑函数的表示方法 一、真值表 二、逻辑函数表达式 三、卡诺图 四、时序图、时间图 主要用于直观的观察变量和函数之间的关系 * 主要用于获得逻辑电路图 * 主要用于逻辑函数化简 主要用于工作波形图 * 12 2.2.1 逻辑代数的基本定理 一、公理 2.2 逻辑代数的基本定理和规律 13 三、交换律 二、公式(可由公理推出) 14 四、结合律 五、分配律 A(BC)=(AB)C=(AC)B A+(B+C)=(A+B)+C=(A+C)+B A(B+C)=AB+AC A+BC=(A+B)·(A+C) 加法的分配律 15 六、摩根律 16 七、其他常用公式 在两个乘积项中，若有一个变量是互反的，那么由这两个乘积项中的其它变量组成的新的乘积项就是多余的，可以消去。 17 = 右式 证明： = 右式 18 2.2.2 重要规则 任何一个含有变量A的逻辑等式，如果将所有出现A的位置都代之以同一个逻辑函数F，则等式仍然成立。 一、代入规则 19 以此推广得到摩根律的一般形式: 20 二、反演规则 使用反演规则时，应注意保持原函数式中的运算符号的优先顺序不变。另外不属于单个变量上的反号应保持不变。 21 其实反演规则就是摩根律的推广。 按反演规则可直接写出： 22 若用摩根律则先对原函数两边取非，得： 23 三、对偶规则 结论： 若一个定理是正确的，则其对偶式也一定正确。 若两个逻辑式相等，则它们的对偶式也相等。 (F`)`=F 即对对偶式再求对偶就得原函数本身。 24 利用对偶规则可以简化等式的证明。 例：试证 A+BC=(A+B)(A+C) 令: F1=A+BC F2=(A+B)(A+C) 求两个函数的对偶: F1`=A(B+C)=AB+AC F2`=AB+AC 可知：F1`= F2` 所以F1=F2 得证 25 四、展开规则 一个多变量函数F=f(X1,X2,···Xn)，可以将其中任意一个变量，例如X1分离出来，并展开成： 上述算式之正确性的验证只要令X1=0或1分别代入便知。 26 27 2.2.3 几种导出(复合)的运算 工程上常用的有：与非、或非、与或非、异或、同或。 28 29 异或门的逻辑符号: 同或门的逻辑符号: 30 异或和同或的真值表如下: 结论：偶数个变量的异或和同或是互反的，奇数个变量的异或和同或是相同的。 31 异或和同或的基本运算公式 32 (4) 结合律 (5) 分配律 (3) 交换律 33 (