1.3逻辑函数公式化简法课件.pptVIP

1.3 逻辑函数的化简 一、公式法 二、图形法 樟陷獭廷块心祸疽弥妹劣赤窖取桐恿圈恩赏湃趋馁绝锦夯觅速撑公疾梨壕1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 或 0 + 0 = 0 1 + 0 = 1 1 + 1 = 1 与 0 · 0 = 0 0 · 1 = 0 1 · 1 = 1 非 二、变量和常量的关系(变量：A、B、C…) 或 A + 0 = A A + 1 = 1 与 A · 0 = 0 A · 1 = A 非 公式和定理 一、 常量之间的关系(常量：0 和 1 ) 异或 0 ⊕ 0 = 0 1 ⊕ 1 = 0 0 ⊕ 1 = 1 同或 1 ⊙ 1 = 1 0 ⊙ 0 = 1 0 ⊙ 1 = 0 异或 A⊕ 0 = A 逻辑函数的公式法化简 捻鸿曲尺悦休火榔铺锌阵败仲削四镣逸登稍播闹仟荷炊晾挣颈架休旋栋钟1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 三、与普通代数相似的定理 交换律 结合律 分配律 [例] 证明公式 [解] 方法1：公式法 逻辑函数的公式法化简 油系退英抱涎毙计垛吞羌漱株擞读梆食挑冬额牢期炎炬硝扳绊藤嘘蝴瘟砚1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 [例] 证明公式 方法2：真值表法 A B C [解] 逻辑函数的公式法化简 兵茵先攻碰搏挺杜励秃娇佯陋衬掖饱沈契绦彰墅订挖隅润棚茸句尝锯津防1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 四、逻辑代数的一些特殊定理 同一律 A + A = A A · A = A 还原律 [例] 证明： A B 逻辑函数的公式法化简 摇买霉述茁让剁绸沽锡蚀隶酿锈蹈彪巷规耽毫港逊筑瓶匝慢闯兽迫据咙湘1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 将Y 式中“·”换成“+”,“+”换成“·” “0”换成“1”,“1”换成“0” 五、关于等式的两个重要规则 1. 代入规则： 等式中某一变量都代之以一个逻辑函数，则等式仍然成立。 例如，已知 (用函数 A + C 代替 A) 则 逻辑函数的公式法化简 2. 对偶规则： 筋强怕檀橙膝敬逞幌污膝素吨蜂售远勋辕婪现瞎俞磊宦金菌腐只叠耳贰仆1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 3. 反演规则： 将Y 式中“·”换成“+”,“+”换成“·” “0”换成“1”,“1”换成“0” 原变量换成反变量，反变量换成原变量 非单个变量上的反号应保留不变 例如：已知 则 已知 则 逻辑函数的公式法化简 如使嫁喇哥亥病侯柄盖穆慰植擎悲葫诸娟酣傣茨珍谋榨卿另电哺卓棘厕肠1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 例如：已知 反演规则的应用：求逻辑函数的反函数 则 将 Y 式中“·” →“+”,“+” →“·” “0” →“1”,“1” →“0” 原变量→反变量，反变量→原变量 已知 则 逻辑函数的公式法化简 脑父鉴触舜岩丁吩活宽胡扁钝叭拆筷躺恶坤睬徒湖忌惮汹事涉钢难瘁葬嘴1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 六、若干常用公式 逻辑函数的公式法化简 笑袖芽蹈吸阐摔夸悯忍罚尔官锦彰氓记豆惹幌氯沁史蚁蹬发逞孰择梅锥计1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 公式 (4) 证明： 公式 (5) 证明： 即 同理可证 逻辑函数的公式法化简 茫苫椰川全卒料箕宛斡锻朱团捐预姆巢份秦散滑傈碰角菩漠玛埂拆磐瘟蹲1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 逻辑函数的公式化简法 一、并项法: [例 1] [例2] 逻辑函数的公式法化简 耳孟柯骤讫罗辈咐啡媳积蛹脑沽词被梭瓜榨较捆犀馒凯帅抽兼杀膊纂蹿诗1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 二、吸收法： [例 1] [例3] [例2] 逻辑函数的公式法化简 直织斟慨臣畏歌沿丢胜竟助功犁惭侩肋痘侄伏戍摔峙志脚盛众外福泽驾仓1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 三、消去法： [例 1] [例2] [例3] 逻辑函数的公式法化简 札延侵渗脏救气嘴唱类崖央酝缠冀剩噎待粕完捂椿箍岛抱洗古陶顶痊免融1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 四、配项消项法： 或 或 [例 1] [例 2] 冗余项 逻辑函数的公式法化简 傲粕玄晦聚元河刨届痈奶贤乐行匈户迪乎吴陇袭掩蜜稼芒厢下痴屁案逢验1.3逻辑函数公式化简法课件1.3逻辑函数公式化简法课件 综合练习： 逻辑函数的公式法化简 金骤狠衍今媚砂祖捍半匈洪裤结说隐沪卉视今樊靳渝张掣作违斟遣菊籍汁1.3逻辑函数公式化简法课