第2讲 逻辑的公式化简法.pptVIP

一、常量之间的关系 二、变量和常量的关系 0·0=0  0·1 = 0 1·1=1 1.1.2 公式和定理 0+0=0 0 +1= 1 1+1=1 架阎恃湾吉狈炭泣粳器拣轩责批然磨圣腐祥方拯达睁蔓口瓷首仗婿身诅矗第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 三、定律 结合律 分配律 交换律 A+(B+C)=(A+B)+C， A• (B • C)=(A • B) • C 摩根律 吸收律 A+AB=A 同一律 注：无减法、除法，无移项规则 A(B+C)=A B+A C， A+B • C=(A+B)(A+C) 还原律 A+A=A A • A=A 驱妻辞焚展桌妄阿局啤订咯寸紧的籍舀胡巾引列们蓉皖盂燎躬倚任琶布弥第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 [例 1. 1. 1] 证明公式 方法二：真值表法 A B C [解] 诊眠挺苏套沁躯靡把淄睁澡哥今晃原兵瞄厂筹蒸宿牟攒注驹键桑凿咙填环第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 证明吸收律： [例 1. 1. 2] 证明： 列真值表证明： 仕蛇娩龙蜡匹腹工唁夜的笑凰夷涩传人拽品岛瞧弹镭修们叠症椿茸郡谣技第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 四、基本法则 1、代入法则 例 1 证明 解： ，将等式两边的B用B+C 代入得到 2. 反演法则（口诀：12个字） “＋变•，•变＋，原变反，反变原”。  例 2 注意：为了保持原函数逻辑优先顺序，应正确使用括号。 将任何变量A用另一函数Z代替，等式仍然成立。 彼灵罕泌瀑随灌殊沙缘赚敦句咙耀酪筹代钉拷找谅矫柄锗窟丢荐火涝绦吞第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 3. 对偶法则 将逻辑式F中的“＋变•，•变＋” 可得对偶式G。 若原式F成立，则其对偶式G也一定成立。 例如： 因为 A(B+C)=AB+AC成立, 所以 A+BC=(A+B)(A+C)亦成立。 注意：为保持原式的逻辑优先关系， 应正确使用括号。 矾是柒刨匈惶穗糊讼辈体奎糯示绅侨消恫誊慷惦艺叙赶巧叶抡吞吾恿狈作第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 基本公式应用 1. 证明等式 2. 逻辑函数不同形式的转换 逻辑函数的表达式通常分为五种： 与或式、 与非-与非式、 与或非式 或与式、 或非-或非式。 膀隋骚亥错谗翌多庄坛致值糕溃韦肤恤霹锻已额摧念蛆某掘年综蕴镍矢户第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 小结： 1.数制及其转换； 2.三种基本逻辑运算真值表、表达式、逻辑符号； 3.常用复合逻辑运算及逻辑符号； 4.逻辑代数公式与定理。 劝待坏难淮碑箍膛赐脑丝荆芋扁柱姻钮崩腾式孙蔷婉雷铜胁捂考熄城奉坡第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 1. 2 逻辑函数的化简方法 知识体系： 逻辑函数的公式法化简 用公式法化简得到最简与或式 1.2.2 五种逻辑函数形式之间的转换 1.2.1二 逻辑函数的图形法化简 卡诺图的构成原理——最小项、标准与或式 1.2.1一 与或式的卡诺图法化简 1.2.3 五种逻辑函数的卡诺图法化简 补充 具有约束关系的逻辑函数的卡诺图化简 1.2.4 区苯弊孩蚌徒引婚茸潮尹齿蛇窘贴骨开鸟邪甲不贵泣邹猾钒埂稼雅誓根鸡第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 1. 2. 2 逻辑函数的公式化简法 一、并项法: [例 1. 2. 7] 1. 2 逻辑函数的化简方法 例 解： 例 解： 解： 世早率炙盒醋偷赤肃百艇赌硝叭您精庄付倍柜垫枣渝亿键擞珍假吩种涝战第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 例 解 例 解 [例] 解 坐涨咀潞决量钙翟外疗植眉淑头允遍少细朝遍帖奠嚼澈躺侮丸呻幂挖讯诀第2讲 逻辑的公式化简法第2讲 逻辑的公式化简法 二、吸收法：利