数字逻辑2课件.pptVIP

数 字 逻 辑Digital Logic 华中师范大学计算机科学系 系统结构教研室 王明安 wangma@mail.ccnu.edu.cn 第二章 逻辑代数基础 本章内容 逻辑代数的基本概念 基本定理及规则 表达式的形式与变换 逻辑函数的简化 逻辑代数的基本概念 逻辑代数逻辑代数L是一个封闭的代数系统，它由一个逻辑变量K，常量0和1以及“或”、“与”、“非”三种基本运算构成。 记为：L={K,+,?, ,0,1} 基本的逻辑运算 逻辑变量只能取值0或1； 不具有数量的概念，用来表示两种状态； “或”运算（逻辑加，＋，?）F=A+B F=A?B 运算法则0+0=0 1+0=1 0+1=1 1+1=1 实现“或”运算的逻辑电路成为“或”门。 基本的逻辑运算 “与”运算（逻辑乘 ，?，?） F=A ? B F=A ? B 运算法则0 ? 0=0 1 ? 0=00 ? 1=0 1 ? 1=1 实现“与”运算的逻辑电路成为“与”门。 基本的逻辑运算 “非”运算（逻辑否， ，）F= F= 运算法则0=1 1=0 实现“非”运算的逻辑电路成为“非”门。 基本的逻辑运算 “异或”运算（⊕）F=AB+AB=A⊕B 运算法则0⊕0=0 1⊕0=10⊕1=1 1⊕1=0输入信号相同时，输出为0；输入信号相异时，输出为1。 实现“异或”运算的逻辑电路称为“异或”门 逻辑代数公理 交换率对于任意逻辑变量A,B有：A+B=B+A A?B=B?A 结合率对于任意逻辑变量A,B,C有：(A+B)+C=A+(B+C) (A?B)?C = A?(B?C) 分配率对于任意逻辑变量A,B,C有：A+ (B?C)= (A+B) ?(A+C) A?(B+C) = A?B+ A?C 0-1率对于任意逻辑变量A有：A+0=A A+1=1 A?1=A A?0=0 互补率对于任意逻辑变量A，存在唯一的 ，使得：A+ =1 A ? =0 逻辑代数公理 对偶率 对偶规则中详述A?B=A+B A+B=A?B 吸收率A+AB=A A(A+B)=A 等幂率A+A=A A?A=A 逻辑函数 定义：设某一逻辑电路的输入逻辑变量为A1,A2,???,An，输出逻辑变量为F，如果当A1,A2,???,An的值确定后，F的值就唯一的被确定下来，那么F被称为A1,A2,???,An的逻辑函数。 记为：F=f(A1,A2,???,An) 逻辑函数 逻辑函数的相等 定义：设有两个逻辑函数 F1=f1(A1,A2,???,An)  F2=f2(A1,A2,???,An) 若对应于逻辑变量A1,A2,???,An的任何取值，F1和F2的值都相同，则称函数F1和F2相等。 记作： F1=F2 特点 变量和函数的取值只有0和1两种可能； 函数和变量之间的关系是由“或”“与”“非”三种基本运算决定的。 逻辑函数 逻辑函数的相等 判断两个逻辑函数相等的方法 列举出所有可能的取值组合，按运算法则计算输出，然后比较； 利用逻辑代数的公里、定理和规则进行证明。 逻辑函数的表示方法 逻辑表达式由逻辑变量和“与”、“或”、“非”构成的表达式。 “非”运算可不加括号； “与”运算符?可省略； 先“与”后“或”。 真值表用穷举的方法，列出n个逻辑变量的2n种取值和函数值。 卡诺图 后面详述 逻辑代数的基本定理和规则 根据逻辑代数公里，利用规则，可以推导出逻辑代数的基本定理。 定理10+0=0 1+0=1 0+1=1 1+1=10?0=0 1?0=0 0?1=0 1?1=1 定理2 证明A+A=A A?A=A 定理3 证明A+A?B=A A?(A+B)=A 定理4 证明 A+A?B=A+B A?(A+B)=AB 逻辑代数的基本定理和规则 定理证明 定理2 A+A=A证明： 定理证明 定理3 A+A?B=A证明： 定理证明 定理4 A+A?B=A+B 证明： 定理证明 定理5 A=A 证明： 定理证明 定理6 A+B=A?B证明： 定理证明 定理7 A?B +A?B=A 证明： 定理证明 定理8 A?B+A?C+ B?C= A?B+A?C 证明： 定理证明 定理证明主要思路 利用公理5 A+A=1 A?A=0的唯一性。即 对F1与F2， 若F1+F2=1 F1?F2=0 则F1=F2。 利用公理和定理进行推导。 利用真值表证明。 重要规则 代入规则 任何含有A的逻辑等式，若将所有出现A的位置都代之以同一个逻辑函数F，则等式仍然成立。 例：A+A=1,