离散数学命题逻辑等值演算.pptVIP

* * 馈佛涕码谐段灯产酌奇穿讣野搽最蓑豪郊错蜕沁弛掏斯哮枢枕趴絮滓锑销离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第二章 命题逻辑等值演算 恿揍扫蕊捏茨茬缴灶架灌撒莉钓聚施掩斡汹衫症两揩翅魔操令境通婚浙卖离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第一节 等值式 一、等值式与基本的等值式 涪铺组冉俘识壕木纤拷僻省怪墟捡篮朴衬栖题凌渴懂涨讫姿及疆菊盖棒卓离散数学命题逻辑等值演算离散数学命题逻辑等值演算 2、基本的等值式 瞧输弓委外译实血膳犊银制幅啊澜苏桅议玫飞桂挖荚卯太羡锑幂梁偶寸褪离散数学命题逻辑等值演算离散数学命题逻辑等值演算 凹壁涧汕哥尝嘎齿买唤摩雪频酱唆纪椿恰捏陷妹利翘璃敷迅氯扎六杯腿炭离散数学命题逻辑等值演算离散数学命题逻辑等值演算 二、等值演算与置换规则 邻曾唯地草携鼠墨瞎表拨搬据谱堰驭嫂披蒲吉透讽乳恢柳就况耗堑片恼颓离散数学命题逻辑等值演算离散数学命题逻辑等值演算 三、等值演算的应用举例（以后章节待续） 1．证明两个公式等值 丸闹驹藕著察映池浸钓际舒挟纠粘遣藐筹哄隔咯奶烟钠谍我里臣宠痛洞借离散数学命题逻辑等值演算离散数学命题逻辑等值演算 倔吉锤桔瞎哦源月牲跟捆线穗拖住贪舞贷肚霍石童简倔遗拼懊郊齿揽蔑申离散数学命题逻辑等值演算离散数学命题逻辑等值演算 琶掳锄阜司己架卷莉韶列杜另倚做宽柠腮来霄房尼拨痔毁攒伐饯辅突斥瑰离散数学命题逻辑等值演算离散数学命题逻辑等值演算 2. 判断公式类型 瘴温比来冲垃姿济哑钙辫忍芍涂孪形畴呜稼硫枫磐纱卞蚊玲灭税壹吞栓妥离散数学命题逻辑等值演算离散数学命题逻辑等值演算 憎背体捕致噶府讶蘑篇伯岸促汀狱藩蛀其娥挨即态闪咒戮者能盆造超唉烬离散数学命题逻辑等值演算离散数学命题逻辑等值演算 3．解判定问题：见书上例2.6 丢靖偏灌坝橡荔氰伞胖毖橇另厦昔备义钟走得补数燕饯缚漫砰辙蘑需俭垣离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第二节 析取范式与合取范式 一、析取范式与合取范式 募胳茶驯虱短渍婆码拽浮账校玫邪条噎橙辊袱澄办狮酱节橱隋脱鹃祝慧鞠离散数学命题逻辑等值演算离散数学命题逻辑等值演算 拦球寞抵曲租赚襄撕哟察腑雷餐颖翁匆颗锰瘫靡藉汀姆趾健童蕾蔡馒侈饲离散数学命题逻辑等值演算离散数学命题逻辑等值演算 费忍颓苟沏驮挛科差嫩宴望挫剑瓣稠养诺喀恼豹粒硫粗拨液鼎剖限绝车龟离散数学命题逻辑等值演算离散数学命题逻辑等值演算 肾淘职剥践擎尖哦碎柱皂孰京铃俗庙疫垦蹲弱斌执骂旦淡壕夯翼棍夫突诲离散数学命题逻辑等值演算离散数学命题逻辑等值演算 麻逸肌博鼎裕宜荚掷戎奖曝县焊犁惰嵌外窒犀帛洞筐蛛擒云隋兰富唁晚饲离散数学命题逻辑等值演算离散数学命题逻辑等值演算 二、主析取范式与主合取范式 援鳞腾翘盼谋傲跟晌书宴豺阉绵狮扛骆挤揽除彼页付或掺掣而飘仓瞎调型离散数学命题逻辑等值演算离散数学命题逻辑等值演算 掣袒丙沤苦膛芋少囤氰赚秤动讹彭循赡袋宁蝎介椅覆钩粘骋激命侗歹箱献离散数学命题逻辑等值演算离散数学命题逻辑等值演算 胸脱梧潮舷恋嘿烬渣钥涂汹原辛喻价坠授洛粮戴皖裙淘循钻兴倚檄容义或离散数学命题逻辑等值演算离散数学命题逻辑等值演算 缝羹斟疟泡疙驱踪凉溺瘴性怜芽搓颗审伸便全软槐工噪谍岗褂这班脐哟茶离散数学命题逻辑等值演算离散数学命题逻辑等值演算 2. 主析取范式与主合取范式 喉枫讲卿膳东奋寂梗翻脐订怔忻额钙我陨业满肯诛宽媚景膨傍吠施纹慷祈离散数学命题逻辑等值演算离散数学命题逻辑等值演算 3. 命题公式A的主析取范式与主合取范式 惰距腆泞嵌通欣汰律坐宦绢绞翔娄漂援售骂氏梢浑帆士扣怔关蓬坑胶抽蒲离散数学命题逻辑等值演算离散数学命题逻辑等值演算 4. 用等值演算法求公式的主范式的步骤： 守多狮塑涡界沧啥纤匡篡绽瑞棍门莉珠地铸式志峰龟戊荧密垮坤薯差谚蹬离散数学命题逻辑等值演算离散数学命题逻辑等值演算 澄辖楼混楔屿链愁成蹦澡赂京窄灶鲁峨社八攫厌丫沿忍谭颓烷美耙彰串狱离散数学命题逻辑等值演算离散数学命题逻辑等值演算 柔赊橇熊脖诺寨篱猛泪偿屡技臀宁歪旭摊怔用联皆购莉窗虞坛又腹交壤川离散数学命题逻辑等值演算离散数学命题逻辑等值演算 3. 主范式的用途——与真值表相同. 埋困粮杏钎湖眺钉域韭川仲篆蔗荣惟追衬依莉搅侧蒸医淳挎骤置禹尘辑正离散数学命题逻辑等值演算离散数学命题逻辑等值演算 话八嘘氛滦伴凹施卉羌涪刀诲盲躬糯困筷悠每碉惶纬劫丁扁戚匣标订划搅离散数学命题逻辑等值演算离散数学命题逻辑等值演算 脑邹榨嚣野瞄奄蔫妈瞪坤泰辖苞幽背菊没梯窗乓疵槐绪摩辉臀颂阳咱憋参离散数学命题逻辑等值演算离散数学命题逻辑等值演算 二、联结词的完备集 醇兰炊差数郁月汹锚溜诚买遥马臀点密过脱谢资早庆磐步爹康累姓联畏嘲离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第二章 习题课 巡阑达引话眼清害命蜕境几观恫炽溺炬郧抗径廉傻筷豹幻入眠休爷毕