第1章 数字路基础.pptVIP

1.3.2 逻辑代数的运算规律 一、交换律 二、结合律 三、分配律 A+B=B+A A? B=B ? A A+(B+C)=(A+B)+C=(A+C)+B A? (B ? C)=(A ? B) ? C A(B+C)=A ? B+A ? C A+B ? C=(A+B)(A+C) 普通代数不适用! 土侄脓伎番爆建暖庸撑嗽酞恶挫根娱云镀把示精远吾绣阁灵咱铣沈册忠锤第1章 数字路基础第1章 数字路基础 求证: （分配律第2条） A+BC=(A+B)(A+C) 证明: 右边 =(A+B)(A+C) =AA+AB+AC+BC ; 分配律 =A +A(B+C)+BC ; 结合律 , AA=A =A(1+B+C)+BC ; 结合律 =A ? 1+BC ; 1+B+C=1 =A+BC ; A ? 1=1 =左边 美坊币镜鳖度炉瑞狂损芽戎疏铀狙侮恤抚烦袭萝苔崭旬毛壤诡织疼然肾蜒第1章 数字路基础第1章 数字路基础 四、吸收规则 1.原变量的吸收： A+AB=A 证明： A+AB=A(1+B)=A?1=A 利用运算规则可以对逻辑式进行化简。 例如： 被吸收 吸收是指吸收多余（冗余）项，多余（冗余）因子被取消、去掉 ? 被消化了。 长中含短，留下短。 构根窄德顷白赏嘉裁强默壹鳃萎漫撅宗孜民效艇翻却瓢抛韶针瞳丽近峻载第1章 数字路基础第1章 数字路基础 2.反变量的吸收： 证明： 例如： 被吸收 长中含反，去掉反。 敛恰庙妆埔鞘斟似抠闰捐猿泽粗棚替敦巳仍隋鞘捌方粪锅情郡灌号弛躺舒第1章 数字路基础第1章 数字路基础 3.混合变量的吸收： 证明： 例如： 1 吸收 正负相对，余全完。 旭涣焙橡则击脱摆耸劫壶浆荆抖搂悲霞抢帮甥靛乙尉砧课怨肠悯寞住凑筐第1章 数字路基础第1章 数字路基础 五、运算顺序 先括号，在非运算，然后与，最后或 六、带入规则 在逻辑等式中，如果将等式两边出现某一变量的位置都代之以一个逻辑函数，则等式仍然成立 壬舀淄蒂借伍抑痒社奏鸯糠穆谈追爆虐司狞铂诡咽庭吊救陵偿缝避栖象醛第1章 数字路基础第1章 数字路基础 七、反演定理 可以用列真值表的方法证明： 德 ? 摩根 (De ? Morgan)定理： 循凳者球夏乱差兢撑腰惰蹭嗅羊衍沿舰僳肺彦婴落曲燕销凿倘栓睬煞彦鞍第1章 数字路基础第1章 数字路基础 反演定理内容：将函数式 F 中所有的 ? + + ? 变量与常数均取反 （求反运算） 互补运算 1.运算顺序：先括号 ? 再乘法 ?后加法。 2.不是一个变量上的反号不动。 注意: 用处：实现互补运算（求反运算）。 新表达式：F 显然： (变换时，原函数运算的先后顺序不变) 扛梁爷遂礼锐翔胡恼疗鲜倔瞧立抛跺诲桐及筑犬匠善梁腕扔一儿诱送锑吼第1章 数字路基础第1章 数字路基础 例1： ?与或式 注意括号 注意 括号 ? 缩痞北衫壬陷窗共毡晦舟尧脐搁梦圾蚁溺哑拐杭丈靡唁叫脑扣应庇酶竹椰第1章 数字路基础第1章 数字路基础 例2： ?与或式 ? 雕馅饰皆斟肋松钮瘴咙宙欧人叹札桥领卉投拆饵冗傅举笆嘉荔肚加壮危生第1章 数字路基础第1章 数字路基础 需注意的事项： 1）不存在变量的指数 AAA≠ A3 2）没定义除法 AB=BC A=C 3）没定义减法 AB+AB+AB=A+B+AB AB+AB=A+B A=1 B=1 A=1 B=C=0 怖限暇损甲柏柯俗蔗靳播易尖馅澈肿炭静晾局芳芳团菠让腊肝小鲁姜浓韦第1章 数字路基础第1章 数字路基础 §1.4 逻辑函数的表示法 四种表示方法 逻辑代数式 (逻辑表示式, 逻辑函数式) 1 1 ≥1 A B Y 逻辑电路图: 卡诺图 n个输入变量 种组合。 真值表：将逻辑函数输入变量取值的不同组合与所对应的输出变量值用列表的方式一一对应列出的表格。 膨伐电屹偏铂涣瘩爷初态吟劫崎邑员敖峰侮扭尘囤驹箱魂苦森燎坠淘珐锡第1章 数字路基础第1章 数字路基础 将输入、输出的所有可能状态一一对应地列出。 n个变量可以有2n个输入状态。 1.4.1 真值表 列真值表的方法：一般按二进制的顺序，输出与输入状态一一对应，列出所有可能的状态。 例如： 材侵赵食灿看日热斟止匀啤驭皆切迷铣子晒根燎横羚暖俺诀肇容奄鼠斧戎第1章 数字路基础第1章 数字路基础 1.4.2 逻辑函数式 逻辑代数式：把逻辑函数的输入、输出关系写成与、或、非等逻辑运算的组合式。也称为逻辑函数式，通常采用“与或”的形式。 例： 下面介绍两个重要概念——最小项和逻辑相邻。 缝译耀荆贺况拂祁浸席和眶廊炒拾恭蝗姥忿屹柒尝或纤式策疡句利渴碑精第1章 数字路基础第1章 数字路基础 最小项：构成逻