离散数学(第4讲).pptVIP

* 计算机学院 * G＝(P→Q)∧R＝(～P∨Q)∧R （蕴涵） ＝(～P∧R)∨(Q∧R) ＝(～P∧(～Q∨Q)∧R)∨((～P∨P)∧Q∧R) ＝(～P∧～Q∧R)∨(～P∧Q∧R)∨ (～P∧Q∧R)∨(P∧Q∧R) （分配律） ＝(～P∧～Q∧R)∨(～P∧Q∧R)∨(P∧Q∧R) ——主析取范式 例1-5.4（续） * 计算机学院 * 基本要求 理解析取范式、合取范式等概念 深刻理解极小项、极大项的定义，主析取范式、主合取范式等概念 熟练掌握求主析取（主合取）范式的方法 1）真值表技术法 2）公式转换法 * 计算机学院 * 习题一 12(1)(3)、13、14、 15(1)(3)、18、19 计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 1、范式 析取范式、合取范式、主析取（主合取）范式、极小项、极大项 2、求主析取范式和主合取范式的方法 1）真值表法 2）公式转换法 * 计算机学院 * 1.5 命题公式的范式表示 一个命题公式有无数多个和它等价的命题公式，用真值表或等价变换证明它们是否等价，往往比较困难，甚至连计算机也无法解决。 要解决这个问题，我们引入范式(公式的标准型)的