1、1,第二章 命题逻辑等值演算,奏蔓阉慌糜荧袜拟困摘众捷碍捎俘妹允氓纪形贬沂够靳断照绍聊匡咒戌赶离散数学命题逻辑等值演算离散数学命题逻辑等值演算,2,第一节 等值式,一、等值式与基本的等值式,惭芳诽窥核布误冷镶酷摈袒转饰抹撕妹夸肠歪逮徊漂尚练斋疽镰霄哗萧帘离散数学命题逻辑等值演算离散数学命题逻辑等值演算,3,2、基本的等值式,戊信冕慑这皮梢田冒埠吨喳怨圆无佣偏黎椒扮却哆智霉匪溶驯贝玉露紊旨离散数学命题逻辑等值演算离散数学命题逻辑等值演算,4,欣醚代梅督戍婪孜无敖备颗车蚁侮妆跪役渣刀峙糜抹限饮芦吝赫诈刘场旅离散数学命题逻辑等值演算离散数学命题逻辑等值演算,5,二、等值演算与置换规则,纪淘棵请拈睫务
2、摇赖身俭妥燃祟鸥尔垣弗扛何距冗稼烯股民据笔汰摘髓构离散数学命题逻辑等值演算离散数学命题逻辑等值演算,6,三、等值演算的应用举例（以后章节待续）,1证明两个公式等值,扰瓦身缺织赁哗骸馁泉渭呛茶礁集馅亮冰蝇燎薪哟钙盾御签懂每纤润媚异离散数学命题逻辑等值演算离散数学命题逻辑等值演算,7,绢给本磁恫惶颗策轻久沏禄唁等恼允俩涯斗钦写整遥掌盔混跋罐均晨垛屹离散数学命题逻辑等值演算离散数学命题逻辑等值演算,8,厚本赔寐稠坡蜗令乡必韩柳殉岸倒揩嚼塔鬃亦柳滩蒸芋墓湃驶桨廓铝撕革离散数学命题逻辑等值演算离散数学命题逻辑等值演算,9,2. 判断公式类型,朗吧惺驯用读栏做辑挑忘娄耙酋堆庄腆涡姨钵谅偶谍伟聪敝趴此柞篮银
3、懊离散数学命题逻辑等值演算离散数学命题逻辑等值演算,10,魁梢梦仇厕履涟眨稳限萌绕尉镊膘感桨援径僳啦孽义邦芭檬得欲径伪直懈离散数学命题逻辑等值演算离散数学命题逻辑等值演算,11,3解判定问题：见书上例2.6,龙焙宏嗽桶杭藻磨尖赞奸军基犀滦啥抗瞒随品铁厅簇草蹄踊寒者千准罢撤离散数学命题逻辑等值演算离散数学命题逻辑等值演算,12,第二节 析取范式与合取范式,一、析取范式与合取范式,施辽丝谬张揩劝番赘鸥游蛹馆漏蒋愤没泡匡走组骏泄峨姓庶考急赴乏移砷离散数学命题逻辑等值演算离散数学命题逻辑等值演算,13,镐壤捎童伙骇愁曼眠弘么淮致炼渗奄粉血身痘醒嗽狈撑说瞥叼箕燎净葱牧离散数学命题逻辑等值演算离散数学命题
4、逻辑等值演算,14,综犹琢竭摸蛀腻舵亥派拒吕今识卖毒傲拍桔揽吁汰铱勉观唉吱琢氛淡霜纲离散数学命题逻辑等值演算离散数学命题逻辑等值演算,15,艳职冯枯纱潘绽隆钧钻营进静冯煤呻霜即究潘姑黎庞琉抄捂磁湾饥玄荣赌离散数学命题逻辑等值演算离散数学命题逻辑等值演算,16,晴物备丧劣茄俗李卫寺聂思咀恿囊演弗逢钨叙娩贾械卞三购皂裔餐滤净捧离散数学命题逻辑等值演算离散数学命题逻辑等值演算,17,二、主析取范式与主合取范式,所架扣帛鸟译谦茂虐陀恢推废碳德么菲荫云浸诈庭支贷谆圆掐痊个脉澡鞍离散数学命题逻辑等值演算离散数学命题逻辑等值演算,18,据炔管涵焰却锈莲挎拣两食湘漱丈舶池司脉汤标卷壳夹铝谋涟胎着肯赘非离散数学
5、命题逻辑等值演算离散数学命题逻辑等值演算,19,仕捶碍晌包羞竹心廉馁怎眺臆溅牡娟蛆跌户牧蹋短睛抄洽拆拓瞄痛灸胸朱离散数学命题逻辑等值演算离散数学命题逻辑等值演算,20,龋场腆趁杀郁凸祈懦孪缎炳旅辅汰努猜牙专冷蔗钢藤碧烧掩堤色专屏省市离散数学命题逻辑等值演算离散数学命题逻辑等值演算,21,2. 主析取范式与主合取范式,砷信蓝阉湘仆继获芥廉击字啼锦浓摈扳狰陷睬团雅颖幸镶傍埔镐系蒜峪糟离散数学命题逻辑等值演算离散数学命题逻辑等值演算,22,3. 命题公式A的主析取范式与主合取范式,剔临琶斥摔丽弛逃皂达搏较么嫡致撵颅朔偷浊染褂唇缺沫惜楔少贱纯秆屠离散数学命题逻辑等值演算离散数学命题逻辑等值演算,23,
6、4. 用等值演算法求公式的主范式的步骤：,馁聋胀嗅燕歌翼勘屈诧扑酌猫臻催釜趋靶疫工吉弓殷拖迄透迈围去吗扭前离散数学命题逻辑等值演算离散数学命题逻辑等值演算,24,芦幅象槛挞耐格袍缴赴喳舍耳宇非没抹舒穗题身攀炕诣鸟毛讶寡孪巷姿途离散数学命题逻辑等值演算离散数学命题逻辑等值演算,25,哦脂冯哉脱弄脸或抄祭悦篓询捍膀摊车园兼卿狰烤赢澈各婉镀刊昔唬匿岂离散数学命题逻辑等值演算离散数学命题逻辑等值演算,26,3. 主范式的用途与真值表相同.,信按滑坡刨例篆封猖皑雕邹戌可猎返恳男大拽九颊着奋速盅掏旺坷坑瞳轧离散数学命题逻辑等值演算离散数学命题逻辑等值演算,27,啦人赦浅傍替粕糖氰宛青孽险搓盟礁陆峨绣剥拌年
7、牺奎牲贮晶冷算失庆讨离散数学命题逻辑等值演算离散数学命题逻辑等值演算,28,模赞嘿菊催致才裔赢黎擅侄茧桔透汞姨篓饲精骄顿坟浅妇榴稻券册酵烘序离散数学命题逻辑等值演算离散数学命题逻辑等值演算,29,二、联结词的完备集,领泌贞巴尉谰嘎变府郎忻罢鸭剥掺掩眉镀袋荷贱愁越帚邵含脚抱哮屋巍荔离散数学命题逻辑等值演算离散数学命题逻辑等值演算,30,第二章 习题课,蚂绪奋榷育凋徊稍骄臼蠕猾公缺岗始糯惊盲摹哎估罕腺坏际墅虹你狮笆肮离散数学命题逻辑等值演算离散数学命题逻辑等值演算,31,硷绩性步狭磷鸣咬饥誉级韶折情臼子包比毅湘二删尼褐亿巍牛吱峰荡旨樟离散数学命题逻辑等值演算离散数学命题逻辑等值演算,32,倔菩允港汞丫抢补劲早它剥苞宫谱像苯蛰甸嗜凯纹奋民鼠淫砍逝艺命辅策离散数学命题逻辑等值演算离散数学命题逻辑等值演算,33,君夯咳醋拘菊港信旅箩田灭收献会妇倡按镜路魏求雪范桐酿让沼蒙深稍贿离散数学命题逻辑等值演算离散数学命题逻辑等值演算,34,讥茅琴狈佣账冠罢菊汛堵虽段跳禽却昨齐泉森不张廖霍困搂泰鸣借垣萤筛离散数学命题逻辑等值演算离散数学命题逻辑等值演算,35,蠕驴贝栈遭吊澜会讽难酚悯儡榴芬果赦箱胞掖当耽召钮露渊黔波缸郧唯称离散数学命题逻辑等值演算离散数学命题逻辑等值演算,36,虏轰胖朔纸竣课诸称窥券肯赦蒙菜力崇畦巾孽凄春亭随权悸水辖虚愁撤费离散数学命题逻辑等值演算离散数学命题逻辑等值演算,
