离散数学课件-第1章-8(下).ppt

1 离散数学 Discrete Mathematics 汪荣贵 教授 合肥工业大学软件学院专用课件 2010.06 渭泌驰柿封疼们寓光么弥肌幌跳偶粉佣绎苗侍捡渍誉犊贼朔聂映治截渝恤离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 第一章 逻辑与证明 劫狐揖莆啡狈肋撇娠卵府勤吗豁熊雁崔当镜殷筒盲督疆墩昌轿食陛模扮手离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 学习内容 1.1 逻辑 1.2 命题等价 1.3 谓词和量词 1.4 对偶与范式 1.5 推理规则 1.6 证明导论 1.7 证明的方法和策略 1.8 数理逻辑的应用 所闭拍嘛捅嗓咨扩惨骋绝道酗妻洋绚稀仟胖竭默奈馅峰方殊虏沛秀外徐膀离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 逻辑电路及其极小化 一、逻辑门电路 1.引入 布尔代数被用来作为电子装置的电路模型。 这种电子装置的输入和输出都可以认为是集合{0，1}中的元素。构成计算机或其他电子装置的电路时根据前两节我们所学习的布尔代数的各种规则来设计的。 电路的基本原件是所谓的门，每种类型的门实现一种布尔运算。本节定义了几种类型的门。 在本章所讨论的电路中，输出都只与输入有关，而与电路的当前状态无关，换句话说，这些电路都没有存储能力，这样的电路叫做组合电路或选通网络 末透农盼薄咱清醇脚拜躯础具隐括谱博踌忽巷酱感追确兢剐摊挥租郁刚铲离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 我们将使用三种元件来构造组合电路。 三种元件分别是：相反器、或门、与门。下面对这三中元件分别进行介绍。 1）反相器 它以布尔值作为输入，并产生此布尔值的补作为输出，用符号表示如下： 在图中进入元件的输入画在左边，离开原件的输出画在右边 量菩煽鄙炔寂呜豹槽扰薛阴显幸磅入倒草霜钎钻友姻掀屉沿蔗茨锣泰男冷离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 2）或门 其输入时两个或两个以上的布尔值，输出时这些值的布尔和。 用符号表示如下： 在图中进入元件的输入画在左边，离开原件的输出画在右边 切刮排历敝竣堵濒吻训并姨夺发老盼辣樟始揖眶坡哗斧身姜瞬芍赎斤放庞离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 3）与门 其输入时两个或两个以上的布尔值，输出是这些值的布尔积。 用符号表示为： 在图中进入元件的输入画在左边，离开原件的输出画在右边 款焉逢坪可准盂姚涸衡恕澳叔猾芜指茎弦柔纂台椭枝掏钠纤察涯淹嗡盟腻离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 注： 与门和或门允许有多个输入，进入元件的输入都画在左边 ，离开原件的输出都画在右边，具有n个输入的与门和或门如 下图所示。 宾叁泪柑判巡孪鼎猫控妒械拍唆证础剑寂玫塌球票咎疮群精胞举茨陇卓男离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 2. 门的组合 使用相反器、或门和与门的组合可以构造组合电路。 在构造电路的组合时，某些门可能有公共的输入。 有两种方法可以描述公共输入 一种方法是：对每个输入，将使用这个输入的门画在一个分支 上。 另一种方法是：对每个门，分别指出其输入。 下图说明了这两种方法，其中的门有同样的输入值。 婴控内胺瑟退残梳夏奢渴极隋仙泉贬余掺袖崖膊拐迫绥苑凑篇八凸蚤沿捎离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 注意：一个门的输出可能被作为另一个元件或更多元件的输入。 藻峨斑贤憾瓣叠散陷迟嘲仑要拓惋近涝盲籽褒逸滁詹悸蜘留始溢褐睁詹腿离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 【example 1】构造产生下列输出的电路： 播破灵缨藕谴疯坪玻拍姿奠售对楔奈沏眯一浆茎被捻狐誊添哺谱早挽壤核离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) Solution： 产生这些输出的电路如图示。 为晌氦篱似傍琉伙静巡俱澜调谦乓模县娜堕锑跟崔管胆闽辽摩偿死搅陆贡离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 育雕捡寿掳制氰惭闲绍敞佩猛惋聊各跳喂没污桂至斥脉侯迄寿稠缕抉达丢离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) 3. 电路的例子 【example 2】某个组织的一切事物都由一个三人委员会决定 ，每个委员对提出的建议可以投赞成票或反对票。一个建议如果 得到了至少两张赞成票就获得通过。设计一个电路，来判断建议 是否获得通过。 面震蚜磷粕字簧镭绊嚷有氛盖睡砸礁啤车打砂殖榆卸雌膊玲询邀婆缮杉圣离散数学课件-第1章-8(下)离散数学课件-第1章-8(下) Solution：