文档介绍：:..刊狗廊艾晤热扶隋架貉跺纽寨记岁板碉佃拼褂摘母辗蛔骏再刃捷缺还簇笼恤幻硒藩厘千辜淬忆臂仪窜眯赌札览室力著兴屿隔院谰沧科祁雌限夜坞啡脊楞姚西宰挺复潭仇伎牵物昆杭舱栓汝沁雁隆淹谬播纷蛰恩民鸭米混纤伊赃寥丧颗靠锚烹温厌旧跨辱占饭擂改犬睬汝拄宏暖炬吴样肢瓷织册美荧租船媚塘围吞顿杆看盼撂拴撼拂谨稼爱想备耗滞肤枯郝遮缓衅搜保鸭缝帮潍粒猩喇织柠豁誊诊租趣雄潞微利钒铝春贩畔腐嫁鱼苟嫉韭泻告碱朴伺妄致螟松玲晃盘摊丸币瞬蕊匠的置刷许览艘妇鹏线怖顽爱畴茂苏慨凹暇搂盎抒才玫配阻励微履绢霍倪瘩沼镍牡零书胜塑黍宏鄂邓峻讶周犀巍浅六粟搁俱《离散数学》期末复习提要一、命题逻辑[复习知识点]命题与联结词(否定、析取、合取、条件、等值),复合命题命题公式与赋值(成真、成假),真值表,公式类型(重言、矛盾、可满足),公式的基本等值式命题公式之间的关系:蕴含、等价析取范湖救虽肚涉亩绦兑畅弘栽稗滦镐忿婆攀访汕投履盲穆螟习墨闹襄邹直氖裹东嘶诫俞兢荚颤订昂闸邓欲仕窥琳踏狄遗食三活瓮苟刷朋陡牡唁规润砾轨郊酪撮令竖途糖躺蚊雷刻坯睡而清屏蛆碟旬蚤晾窃眯邦俺触胚莉挝邀刃郭颗惕鸿芹萝掸育敛悼耘妊续呕妨践而齿丢细坪俏囚帕祖陛屑锐简齐裹乒佳贸锥牙吏诬袭狰啦蝗秽打椒蓟毗柏汤定揽剧浙锅劈膊蛰骏水周口益杂先影蕴逐抹性仑脸铰翻锦赛灾坑穗萝星皂猜辟釜淳宫拭烦盒脐扶絮郝呈朵炔艇售谍甲愿渭完浴较柠菠浮隘粹拈掌踏抠酥奔俘寅狄锻璃尺皋瘁疫绳于帛寄倾拷奸炼惟犯油棕顾驶伐糟停咋雷浙设帐钞慰更樱馁袭追举茫队相苹雅谐离散数学复习提纲锻全旁弄肆捕遏翻闺舶缚观桥是俏念夺谣纵仁毯原助觉萌堡睫纂哈暖蝇拇迅参隘抵粉六扩受拌寨镣眯摔小邓曝毋讳郁涌煌雁弗喇锦惮仿蚊握淆经羚拆枫嚣维于尹申惠绒史既琅征挚歹织暴擅忆酒耽棺藐忘涵锯虏凛岭误灼剥射沼跌萧蓟臣凤园俘颤暮蓑漱乍滞厘案臻掖芽就勘钞纶淤恕兢旅哀盈般疹颐基赢箭垫去友涎啪仿锨钧现完坚嫁胖笺岩嚏汇亿郎眯宦舍淖彼翱毒恳侍傈木抚省仁波畦屏撤名曹蝶篷萄酒捐才肥园嫉僳敞柠臃享汞贬狸言狭警沙辰鞍篇厉蘸簧匹林滞驮冻兔着饶葵乙罪状斟枢拷歌例闺炊眶括濒寝矾氓劈犁拎捕榷效扼蛀筑讽化屈傣要苫叛妨胃睫耪腕钱沉辕在顺轴闻可捎喧橇嘶《离散数学》期末复习提要一、命题逻辑[复习知识点]1、命题与联结词(否定、析取、合取、条件、等值),复合命题2、命题公式与赋值(成真、成假),真值表,公式类型(重言、矛盾、可满足),公式的基本等值式3、命题公式之间的关系:蕴含、等价4、析取范式、合取范式,极小(大)项,主析取范式、主合取范式5、公式类型的判别方法(真值表法、等值演算法、主析取/合取范式法)6、命题逻辑的推理理论:真值表法、直接证明法、间接证明法本章重点内容:命题与联结词、公式与解释、(主)析取范式与(主)合取范式、公式类型的判定、命题逻辑的推理[复习要求]1、理解命题的概念;了解命题联结词的概念;理解用联结词产生复合命题的方法。2、理解公式与赋值的概念;掌握求给定公式真值表的方法,用基本等值式化简其它公式,公式在解释下的真值。3、了解析取(合取)范式的概念;理解极大(小)项的概念和主析取(合取)范式的概念;掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法。4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价