数字逻辑与数字系统1.3 逻辑函数及其化简

《数字逻辑与数字系统1.3 逻辑函数及其化简》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1.3逻辑函数及其化简1.3.3逻辑代数的公式和运算法则返回1.基本公式2.常用公式3.运算规则结束放映2/4/20221复习举例说明什么是“与”逻辑？逻辑代数有哪三种基本运算？分别对应的开关电路图？真值表？逻辑表达式？逻辑图？Y=A⊕B实现怎样的逻辑功能？什么是逻辑函数？有哪些表示方法？2/4/202221.3.3逻辑代数的公式和运算法则返回逻辑函数的相等：已知Y=F1(A、B、C、D……)W=F2(A、B、C、D……)问：Y=W的条件？仅当A、B、C、D……的任一组取值所对应的Y和W都相同，具体表现为二者的真值表完全相同时，Y=W。等号“＝”不表示两

2、边数值相等，仅表示一种等价、等效的逻辑关系。因为逻辑变量和逻辑函数的取值0和1是不能比较大小的，仅表示一种状态。结论：可用真值表验证逻辑函数是否相等。ABY000010100111ABW0010101001112/4/202231.基本公式（1）常量之间的关系这些常量之间的关系，同时也体现了逻辑代数中的基本运算规则，也叫做公理，它是人为规定的，这样规定，既与逻辑思维的推理一致，又与人们已经习惯了的普通代数的运算规则相似。0·0=00+0=00·1=00+1=11·0=01+0=11·1=11+1=10=11=0请特别注意与普通代数不同之处与或返回2/4/

3、20224（2）常量与变量之间的关系普通代数结果如何？（3）与普通代数相似的定理交换律A·B=B·AA+B=B+A结合律A·（B·C）=（A·B）·CA+(B+C)=(A+B)+C分配律A·（B+C）=A·B+A·CA+(BC)=(A+B)(A+C)2/4/20225（4）特殊的定理De·morgen定理表1-16反演律(摩根定理)真值表2/4/20226表1-15逻辑代数的基本公式2/4/202272.常用公式B：互补A：公因子A是AB的因子返回2/4/20228A的反函数是因子与互补变量A相与的B、C是第三项添加项2/4/20229常用公式需记忆2/

4、4/202210在任何一个逻辑等式（如F＝W）中，如果将等式两端的某个变量（如B）都以一个逻辑函数（如Y=BC）代入，则等式仍然成立。这个规则就叫代入规则。3.运算规则（1）代入规则推广返回利用代入规则可以扩大公式的应用范围。理论依据：任何一个逻辑函数也和任何一个逻辑变量一样，只有逻辑0和逻辑1两种取值。因此，可将逻辑函数作为一个逻辑变量对待。2/4/202211（2）反演规则运用反演规则时，要注意运算的优先顺序（先括号、再相与，最后或），必要时可加或减扩号。对任何一个逻辑表达式Y作反演变换，可得Y的反函数Y。这个规则叫做反演规则。反演变换：“﹒”→“﹢

5、”“﹢”→“﹒”“0”→“1”“1”→“0”，原变量→反变量反变量→原变量2/4/202212对任何一个逻辑表达式Y作对偶变换，可Y的对偶式Yˊ。（3）对偶规则运用对偶规则时，同样应注意运算的优先顺序，必要时可加或减扩号。对偶变换：“﹒”→“﹢”“﹢”→“﹒”“0”→“1”“1”→“0”2/4/202213利用对偶定理，可以使要证明和记忆的公式数目减少一半。互为对偶式对偶定理：若等式Y=W成立，则等式Yˊ=Wˊ也成立。2/4/202214作业题1、1-9单2、1-10单返回2/4/202215