离散数学99985.pptVIP

计算机科学与技术 第一章 小结与例题 * 一、命题与联结词。 1、基本概念。 2、应用。 (1) 选择适当的联结词将命题符号化。 (2) 判断命题(简单或复合)的真假。 命题与真值；简单命题和复合命题； 命题常项和变项；五个联结词 真值表。 ， 二、命题公式及分类。 1、基本概念。 命题公式的定义；公式的赋值； 重言式，矛盾式，可满足式。 2、应用。 (1) 求给定公式的真值表，及成真赋值， 成假赋值。 (2) 用真值表判断给定公式的类型。 三、等值演算。 1、基本概念。 两个公式等值的含义；等值演算。 2、应用。 (1) 灵活运用24个重要等值式。 (2) 用等值演算判断公式的类型及两个公式 是否等值(也可用真值表)。 四、联结词的全功能集。 基本概念 联结词的全功能集，极小全功能集。 五、对偶与范式。 1、基本概念。 对偶式，对偶原理；简单析取式，简单合取式； 析取范式，合取范式；极小项，极大项； 主析取范式，主合取范式。 五、对偶与范式。 2、应用。 (1) 求给定公式的主析取范式和主合取范式。 (2) 用主析取范式或主合取范式判断两公式 是否等值。 (3) 用主析取范式或主合取范式求公式的成真 或成假赋值。 (4) 用主析取范式或主合取范式判断公式的类型。 六、推理理论。 1、基本概念。 推理，推理规则，推理定律；构造证明法。 2、应用。 (1) 判断推理 是否正确： 真值表法 等值演算法 主析取范式法(主合取范式法)。 (2) 用8条推理定律构造推理的证明。 例1、判断下列各语句中，命题，简单命题， 复合命题，真命题，假命题，真值待定的 命题各有哪些？ (2) 2是素数或是合数， (4) 只有4是奇数，5才能被3整除。 (5) 明年5月1日是晴天。 (1) ， (3) 若 ，则5是偶数， 例1、判断下列各语句中，命题，简单命题， 复合命题，真命题，假命题，真值待定的 命题各有哪些？ 解：命题有(2)－(5)， 其中(5)是简单命题，(2)，(3)，(4)是复合命题， (2)，(4)为真命题，(3)为假命题，(5)真值待定。 (1) 解：我将进城去当且仅当我有空且天不下雪。 (2) 解：虽然天正在下雪，但我将进城去。 例2、 设 ：天正在下雪； ：我将进城； ：我有空。用自然语言写出下列命题。 (3) 解：我进城当且仅当我有空。 (4) 解：天不下雪且我没空。 例2、 设 ：天正在下雪； ：我将进城； ：我有空。用自然语言写出下列命题。 例3、 设 试求下列命题的真值。 的真值为0， 、 的真值为1， 、 (1) 解： 例3、 设 试求下列命题的真值。 的真值为0， 、 的真值为1， 、 (2) 解： 例3、 设 试求下列命题的真值。 的真值为0， 、 的真值为1， 、 (3) 解： 例3、 设 试求下列命题的真值。 的真值为0， 、 的真值为1， 、 (4) 解： 例4、简化下列命题公式。 (1) 解： 例4、简化下列命题公式。 (2) 解： 例4、简化下列命题公式。 (3) 解： 例4、简化下列命题公式。 (4) 解： 例5、判断下列各命题公式，哪些是重言式， 矛盾式，可满足式？ (1) (2) (3) 解：可用真值表法，等值演算法，主析取(主合取) 范式等方法判断公式的类型， (2)为重言式，(3)为矛盾式，(1)，(2)均为可满足式。 例6、求命题公式 的主析取范式，主合取范式，成真赋值和成假赋值。 解：先求主析取范式 例6、求命题公式 的主析取范式，主合取范式，成真赋值和成假赋值。 解：先求主析取范式 故主合取范式为 例6、求命题公式 的主析取范式，主合取范式，成真赋值和成假赋值。 解：成真赋值为极小项角码对应的二进制数， 即00，10，11。 成假赋值为极大项角码对应的二进制数， 即01。 例7、设 (1) 求 的真值表。 (2) 求 的主析取范式、主合取范式。 解： 例7、设 (2) 求 的主析取范式、主合取范式。 解： * *