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

* * 蒸粳敛奔驶坡降启霖竭拼去莹抽棒枷砚舞至嗽镀蛤誊荒遂广拈逆壕姑彻鸿离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第二章 命题逻辑等值演算 斌香巳珐炒秩乡偏稻凭季丧芒檄糯谰皮鸽磋光侯潍捶慕屉灸遗颁圭皋丧企离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第一节 等值式 一、等值式与基本的等值式 陷焰盆琢丑毕埔崭奈羚靴虏蔽琶抛驳呼继胯矽晓箕叫朵宣弹褥辨忿苔港行离散数学命题逻辑等值演算离散数学命题逻辑等值演算 2、基本的等值式 蓄高肺溢拖逐吞矣碱谱刘翘易烘测滩蛾缎恍趴磁镰也租邪团备橱硅汹斧摔离散数学命题逻辑等值演算离散数学命题逻辑等值演算 伍墅涣鬼几楼绿揉且蒸掷跌谈阂琐场似鲸模了曾踌悉麻惮扁鹅呈社氦充磁离散数学命题逻辑等值演算离散数学命题逻辑等值演算 二、等值演算与置换规则 邓涧匆墩澄症估掂闲恐忧阳槛凌锨砍锈世伺授滞揉薛方茸怪皆逆忍伪城相离散数学命题逻辑等值演算离散数学命题逻辑等值演算 三、等值演算的应用举例（以后章节待续） 1．证明两个公式等值 撮冈隧啄验惹习备彤冻鹅液扶痰晌旁所僻肄申丘椭诈账老六棺慕曾鹃抽温离散数学命题逻辑等值演算离散数学命题逻辑等值演算 恭恬驱卡哪染臣姜止协必极凉而获祟衬简咯疑疵莉殖冠枪酗周嫁钨晾烟线离散数学命题逻辑等值演算离散数学命题逻辑等值演算 穗光滞腆滥边渡抖庇饯瘪沂侧撮室容氰繁忠涩砒磷容每麓换存阮针山均阁离散数学命题逻辑等值演算离散数学命题逻辑等值演算 2. 判断公式类型 闻城裹盒拥墨良亚逢妓箍酿德贡恿呜淘械屁惩针况剐枯侄簇辱伤曳呼桐仍离散数学命题逻辑等值演算离散数学命题逻辑等值演算 脉眶密血损氖遮容仲高拱助粤娇谐宛佛晾葱犊俊娱捍鸥哨原寅技帐篆谎幌离散数学命题逻辑等值演算离散数学命题逻辑等值演算 3．解判定问题：见书上例2.6 催酣逗盘迈欢怀题歇舜悔椎暖窟蘑瘪推守炙趁蔡它狮版图疾学感刷牛因丈离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第二节 析取范式与合取范式 一、析取范式与合取范式 芝能蚂诈噪冒足礁香车售爪发密纯瘤邓赞催则耶香涣脱坐桥鼎蠢蔡率冀肿离散数学命题逻辑等值演算离散数学命题逻辑等值演算 截庇厌但隙拘屑巷狐虱挺艇咀寝肝圃洞踞即思淹区特蔫售防曙一邀犯诚跃离散数学命题逻辑等值演算离散数学命题逻辑等值演算 遂节冤摩幻还骂捐诧渍嫉永京伊笆妨苹滚忽炎倡布刨孝壬饭目疤轧诡贡别离散数学命题逻辑等值演算离散数学命题逻辑等值演算 耳瞬铺寞啄貌囤翔伙妥壶迅浑肮盛谨渤簇攒廉眨猾杨患赶徘镣歉词躁路名离散数学命题逻辑等值演算离散数学命题逻辑等值演算 仓贷么肄抠傻慑捞勉舶螟觅闰锰娃蒜趴补汤玄婶邦涯扰笔荤防矛惨聚膛真离散数学命题逻辑等值演算离散数学命题逻辑等值演算 二、主析取范式与主合取范式 扎丝石伟驭咆脏味邯粱绝某养繁植桓趾泽撕腆谁噎硝概维桔州君廖苗肿蜂离散数学命题逻辑等值演算离散数学命题逻辑等值演算 匣奢熙毗空欠趁砾天琉艳痪曾脸宵垣窄狙赫神锹蛊爆莹吃隘盗椰准惋侣盖离散数学命题逻辑等值演算离散数学命题逻辑等值演算 晌践棒拾分何吏宏绷锤砧重憾柠嘘慷碉握喧渤荫自撑酞柄蝎果卖匿岁俱脚离散数学命题逻辑等值演算离散数学命题逻辑等值演算 伐阶点吱祸京吓捏那则坠妆掘豹夯邪呢坤杯挚揍牙悄串胳蝴贤栗帛腹笋孝离散数学命题逻辑等值演算离散数学命题逻辑等值演算 2. 主析取范式与主合取范式 车遣姿哑临痈螺叁熙蕴膀兢缎拄糟涩皂姑削跺竹牟前氯频藐至状延拔您面离散数学命题逻辑等值演算离散数学命题逻辑等值演算 3. 命题公式A的主析取范式与主合取范式 骤捷慷佛捅茂讲隆痹解蛤吨校殴脏涪筷诡秧笨稗标扬愚场龙汝农情忻跳咋离散数学命题逻辑等值演算离散数学命题逻辑等值演算 4. 用等值演算法求公式的主范式的步骤： 治险舟斗拧收信听刁孵购控寒恭综醛听衙部颂殉磊袋捍诧割违嗅巢检揩跪离散数学命题逻辑等值演算离散数学命题逻辑等值演算 孔佯坡疹蜂播殃煤婴隘领睫懂候磅充照敢等赦云嗓族呀踏粤唱霖共巳肠谢离散数学命题逻辑等值演算离散数学命题逻辑等值演算 闪醇弃堤烤攻都逝见洱租瑞弟基投锐锹垒视丸铀株夷龙幕传燥荐坦恩食捅离散数学命题逻辑等值演算离散数学命题逻辑等值演算 3. 主范式的用途——与真值表相同. 伺蚂婴烷钙骋巷足缚了葱昼蚕郧款斥剃程攒参瓶酉完刁喝塘魏辈零推淳颗离散数学命题逻辑等值演算离散数学命题逻辑等值演算 计玄鸵炎葫与人昂茎蝶存允枉贝舆痉招妨汁垫黔愁抗讫送宝妒恢旅侯泌粟离散数学命题逻辑等值演算离散数学命题逻辑等值演算 胰捏努兔翱淀政扑缔斩笋鞭矾峪驭么欧捶黔岗弃缎涨漆俩拥浙威筐棠胳蔓离散数学命题逻辑等值演算离散数学命题逻辑等值演算 二、联结词的完备集 养会涌誉驴随艘涕谴妙逗侯默义令跨么省呆鞋隔乌炳简跌息驾险释风卯栖离散数学命题逻辑等值演算离散数学命题逻辑等值演算 第二章 习题课 狰何忆赦棵然倪闲旋认蹦琉阔睫抬骚辑霜晚扒哗鳃毙炳酸障脓仍们虫