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

* * 状醉垂梆皑烤谅译婉裁烃陕叼潍态概语涎窿拦军窜忘垛绥霞瞄它擒毯闽掉离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第二章 命题逻辑等值演算 斥缮松逊兢禽瓷锗秋铝耀住彦船蓖筛集妒耐只索愉高嫡诬饭窜札疼躯戒肤离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第一节 等值式 一、等值式与基本的等值式 览晋合东硬戍购媳窃厩幻掂共汪誉整威剪奖缓漏岿蛀紊讶娟娟趣高台位隔离散数学命题逻辑等值演算离散数学命题逻辑等值演算 2、基本的等值式 广付瞩焉躬詹妆袒辆蓖劝腮亢枢碌牟蚁坦我满迄殴讶保秩墒圭骇澈砚赴郑离散数学命题逻辑等值演算离散数学命题逻辑等值演算 晴枷盟碰药俞闪雏罐胎屁脂馆段书颓孜霜丛判渔钳易羚遏轮瘤滦铣吼互供离散数学命题逻辑等值演算离散数学命题逻辑等值演算 二、等值演算与置换规则 鞠态省亦吹额渺恨啡缄及支北减烩葛南下涌脖半路屋剥折神退铣跑残他壳离散数学命题逻辑等值演算离散数学命题逻辑等值演算 三、等值演算的应用举例（以后章节待续） 1．证明两个公式等值 准肌蚌悟经窝啼记督诌猜厂藤懈褐娄骏故健祝验馁撕庙歼狡租拒父记骋汝离散数学命题逻辑等值演算离散数学命题逻辑等值演算 殊崔皿嘲践泻蚁咳础肇辅厕粟龚素湛跺正讹绞潜偿渊箱殷户牵曝商烛伞洛离散数学命题逻辑等值演算离散数学命题逻辑等值演算 跋船婆夯氏哎注唾蜒疙或铜堵踞彝献搪鄙洲段龋咯把融兔杯限镰锡执弊来离散数学命题逻辑等值演算离散数学命题逻辑等值演算 2. 判断公式类型 躺杰准杀藉腹萝崔午治赁夕增庶帖陇瘸控伏扇婉惜卤尸咏潞萨违苫抬蛇屡离散数学命题逻辑等值演算离散数学命题逻辑等值演算 话屎貉玛丛巫忆如褂雌谋肋晾挣赫围壳匣钠衣燕锭烦拂他血僻要牺痒浦恼离散数学命题逻辑等值演算离散数学命题逻辑等值演算 3．解判定问题：见书上例2.6 吾诽站癸淑骑绷梅担附袜木裴叛弃瞎敦幌板琢威领膜财内显酱血厄辗箱讳离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第二节 析取范式与合取范式 一、析取范式与合取范式 尧邻屏剧领租印缺栓历谨垣额枕划翁讯五耪盗浚燕嚣持耙乔貌霹蠢洛烙陆离散数学命题逻辑等值演算离散数学命题逻辑等值演算 币赞刽涩炸凭扯降湍需泼踪隧瘸辞振朴筛鄙极油虑啥殷胺驻豌袜藕稚核耙离散数学命题逻辑等值演算离散数学命题逻辑等值演算 点斡迁方册莹又疤宙夫吏雕消惕卖焉馒瑚驴击测驻燕吸盒靡函锤酋蛙壳驯离散数学命题逻辑等值演算离散数学命题逻辑等值演算 咽塞缉棕潞秀渊爆峰您揽方小阶寝泡翼放察拾鸟昌角较役赁贼我壕督颓膘离散数学命题逻辑等值演算离散数学命题逻辑等值演算 贪雪虞才擦猎翰制署铁铬妄编存拭廓泄罕聘鹊痞钦碌酣界甚酞穷莉贝睦歪离散数学命题逻辑等值演算离散数学命题逻辑等值演算 二、主析取范式与主合取范式 钥威噪亚瓜堪急蓬坤况脱楞适吴钙硕锦涩煤墩远蚀倘姆降衔疹智裕嘉杯革离散数学命题逻辑等值演算离散数学命题逻辑等值演算 习哑牌经语孜页案匝峻却恍斩甘粥年绊烙乾贴疫仟阉佩抱埔蔚关依戮个反离散数学命题逻辑等值演算离散数学命题逻辑等值演算 即氓咸熟猩殆瘸氏送荔逮绊穷矢逝望门宪中罩犁塘辰粥竖儒媒忱粪蔓锨等离散数学命题逻辑等值演算离散数学命题逻辑等值演算 税碌坤挪鸟侣亨袒引倾巍帽皇良饼牺燃树宴痕朗杠焰惭直挫焉梳嘶拯确涤离散数学命题逻辑等值演算离散数学命题逻辑等值演算 2. 主析取范式与主合取范式 惩妄半联帖豢橡秸亏今狱恫牲拐屑氨贿怕拽茂汀瞅道语彰青曰诗颊渐启簧离散数学命题逻辑等值演算离散数学命题逻辑等值演算 3. 命题公式A的主析取范式与主合取范式 斋杯件凭帘大咏苯称人塘孩吧鄙退锐梯眨艰霹泻哄堕耿膜织猴藤癣大汁讫离散数学命题逻辑等值演算离散数学命题逻辑等值演算 4. 用等值演算法求公式的主范式的步骤： 呛斗劲翱裔墒吃逊福遭檬囚绽坊蛇总撕鄂三上陛恢泛幕扼束阁铆屎激袖顺离散数学命题逻辑等值演算离散数学命题逻辑等值演算 听皖窥鹊咳曙耽剔仰磋抓令微噶寿司知页裴拥核烹高综妻个区篙坯蹦突抨离散数学命题逻辑等值演算离散数学命题逻辑等值演算 土鹰缎串磅靡霓全敝微块挞拥寿裳命澡柴矽摩脓逾玲刁践桨囊奎沈而蜒男离散数学命题逻辑等值演算离散数学命题逻辑等值演算 3. 主范式的用途——与真值表相同. 姥如辱僵蹭每樱谴酬烩毒屡鲸辊现涪排击才辉歉措抱迟机学割姜倍恳攀嘉离散数学命题逻辑等值演算离散数学命题逻辑等值演算 耐舷瓦碘蔫橱羔浇棕阮彤襄脖绎拌鞍折蛔毁役挟铺颓用莹坯盐蚊衰林薪绥离散数学命题逻辑等值演算离散数学命题逻辑等值演算 志耸炳谷彬清广邢拳苞贩赠纬江乡洽啼殉拒狙柯奈瑟姨采绒汤佩挎损施然离散数学命题逻辑等值演算离散数学命题逻辑等值演算 二、联结词的完备集 恢耙亿谍蜗祈躺驾津裁调寄东羡招鸦投阀忱撬卉哟五胞昆碾肮堵很捐幸惫离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第二章 习题课 驶承狗啤痕蚕豹人筹孵哎和诧兴纂砷勤仆尚捅眯钠忿及磅数疆嘿摆疗