离散数学第2部分习题课学习课件.pptVIP

ZHEJIANG NORMAL UNIVERSITY 数理信息学院 浙江师范大学 ZHEJIANG NORMAL UNIVERSITY 数理信息学院 浙江师范大学 王艳霞 第2章 内容回顾 * 内容提要 等值式和基本等值式 等值式 基本等值式 等值演算 重言式与矛盾式的判别方法 * 内容提要 析取范式和合取范式 基本概念：文字，简单析取式，简单合取式，极小项，极大项，析取范式，合取范式，主析取范式，主合取范式。 主要定理：在命题逻辑中，任何公式都存在与之等值的主析取范式和主合取范式，并且是唯一的。 求命题公式的主析取范式和主合取范式方法。 * 习题——1.填空 设A为含命题变项p，q，r的重言式，则公式 A ∨((p ∧ q) → r)的类型为 _______________ 设B为含命题变项p，q，r的矛盾式，则公式 B ∧((p ? q) → r)的类型为 _______________ 设p，q为命题变项，则（ ┐ p ? q）的成真赋值为_______________ 矛盾式的主析取范式为 _______________ 设公式A的主合取范式为M0 ∧ M2 ∧ M3 ∧ M5，则A的主析取范式为 _______________ * 习题——求主析取范式和合取范式 (1)求公式p →((q ∧ r