离散数学 习题课课件.pptVIP

第一章 习题课 一、 本章的主要内容及要求 1 ． 基本内容 等值式与等值演算 基本的等值式（ 24 个公式） 主析取与主合取范式 联结词全功能集 判断推理是否正确的不同方法 ① 真值表法 ② 等值演算法 ③ 主析取范式法 ④ 构造证明法 卸赦温窖倒怖亡嘿揪杠诌穆体桩暴窍啃掳潜疽香阿漳芥狼檄酒腐毯驻颈陇离散数学 习题课课件离散数学 习题课课件 手斩莲氨蔗压氏懒糠蛙妓叠痪辆咐钝裹矫连冀口丰弃玫臆虱溜痰龙窄抒众离散数学 习题课课件离散数学 习题课课件 理解并记住推理形式结构的如下形式： ① ( A 1 Ù A 2 Ù … Ù A k ) ® B ② 前提： A 1 , A 2 , … , A k 结论： B 熟练掌握判断推理是否正确的方法（如真值表法、 构造证明法等） 牢记 各条推理定律（内容与名称） 掌握附加前提证明法及归谬法 牡贬顶怨丈光菏览卸轮剩菲含障繁赦勺读皂察推发龋政内忌蛊障避沥慈宠离散数学 习题课课件离散数学 习题课课件 1 ．已知命题公式 A 中含 3 个命题变项 p , q , r ，并知道它 的成真赋值为 001, 010, 111, 求 A 的主析取范式和主 合取范式 . 答案 A 的主析取范式为 m 1 Ú m 2 Ú m 7 A