武大国软离散数学_习题整理.pptxVIP

离散数学;例4 设 p：天冷，q：小王穿羽绒服，将下列命题符号化 (1) 只要天冷，小王就穿羽绒服. (2) 因为天冷，所以小王穿羽绒服. (3) 若小王不穿羽绒服，则天不冷. (4) 只有天冷，小王才穿羽绒服. (5) 除非天冷，小王才穿羽绒服. (6) 除非小王穿羽绒服，否则天不冷. (7) 如果天不冷，则小王不穿羽绒服. (8) 小王穿羽绒服仅当天冷的时候.;例6 写出下列公式的真值表, 并求它们的成真赋值和成假 赋值: (1) (p?q) ??r (2) (q?p) ?q?p (3) ? (?p?q) ?q;4;5;6;主要内容 命题、真值、简单命题与复合命题、命题符号化 联结词?, ?, ?, ?, ?及复合命题符号化 命题公式及层次 公式的类型 真值表及应用 基本要求 深刻理解各联结词的逻辑关系, 熟练地将命题符号化 会求复合命题的真值 深刻理解合式公式及重言式、矛盾式、可满足式等概念 熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型;基本概念 (1) 文字——命题变项及其否定的总称 (2) 简单析取式 p, ?q, p??q (3) 简单合取式 p, ?q, p??q, (4) 析取范式 p, p?q, p?q, (p??q) ?(q?r) (5) 合取范式 p, p?q, p?q, (p?q)?(p??q??r) (6) 范式——析取范式与合取范式的总称 范式不唯一，主唯一 主析取范式——由极小项(真)构成的析取范式 主合取范式——由极大项(假)构成的合取范式;例如，n=3, 命题变项为 p, q, r 时， (?p??q?r)?(?p?q?r) ? m1?m3 ——主析取范式 (p?q??r)?(?p??q??r) ? M1?M7——主合取范式 定理2.5 (主范式的存在惟一定理) 任何命题公式都存在与之等值的主析取 范式和主合取范式, 并且是惟一的;例6 (1) 求公式 A=(p??q)?r的主析取范式和主合取范式 解 (p??q)?r ? (p?q)?r （析取范式） ① (p?q) ? (p?q)?(?r?r) ? (p?q??r)?(p?q?r) ? m6?m7 ② r ? (?p?p)?(?q?q)?r ? (?p??q?r)?(?p?q?r)?(p??q?r)?(p?q?r) ? m1?m3?m5?m7 ③ ②, ③代入①并排序，得 (p???q)?r ? m1?m3?m5? m6?m7 （主析取范式）; (p??q)?r ? (p?r)?(q?r) （合取范式） ④ p?r ? p?(q??q)?r ? (p?q?r)?(p??q?r) ? M0?M2 ⑤ q?r ? (p??p)?q?r ? (p?q?r)?(?p?q?r) ? M0?M4 ⑥ ⑤, ⑥代入④ 并排序，得 (p??q)?r ? M0?M2?M4 （主合取范式）;1.求公式的成真成假赋值 设公式A含n个命题变项, A的主析取范式有s个极小项, 则A 有s个成真赋值, 它们是极小项下标的二进制表示, 其余2n-s 个赋值都是成假赋值 例如 (p??q)?r ? m1?m3?m5? m6?m7 成真赋值为 001, 011, 101, 110, 111， 成假赋值为 000, 010, 100. 类似地，由主合取范式也立即求出成假赋值和成真赋值. ;;例7 用主析取范式判断公式的类型: A? ?(p?q)?q (2) B? p?(p?q) (3) C? (p?q)?r 解 (1) A ? ?(? p?q)?q ? ( p??q)?q ? 0