离散数学及应用第3版习题答案习题1.2.docxVIP

应用离散数学 命题逻辑 PAGE 杭电－周丽、方景龙 第一章 PAGE 5 §1.2 命题公式及其真值表 习题1.2 1. 设、和为如下简单命题：：。：大熊猫产在中国。：复旦大学在广州。求下列复合命题的真值。 （1） （2） （3） （4） 解 因为、和分别取1，1，0。所以 （1） ； （2）； （3）； （4）。 2. 构造下列复合命题的真值表，并由此判断它们是否永真式、永假式和可满足式。 （1） （2） （3） （4） （5） （6） 解 （1）是可满足式。 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 0 （2）是可满足式。 0 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 （3）是永真式。 0 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 1 （4）是可满足式。 0 0 1 1 1 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 （5）是永假式。 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 （6）是永真式。 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 3. 构造下列复合命题的真值表，并由此判断它们是否永真式、永假式和可满足式。 （1） （2） （3） （4） 解 （1）是可满足式。 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 （2）是可满足式。 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 0 0 （3）是可满足式。 0 0 0 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 （4）是可满足式。 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 0 下面4道题是智力游戏题，解题时可以先把语句翻译成命题公式，再利用其成真赋值进行求解。 4. 边远村庄的每个人要么总说真话，要么总说谎话。对旅游者的问题，村民要么回答“是”，要么回答“不”。假定你在这一地区旅游，走到了一个岔路口，一条岔路通向你想去的遗址，另一岔路通向丛林深处。此时恰有一村民站在岔路口，问村民什么样的一个问题就能决定走那条路？ 解 问“如果我问你右边的路是否通向遗址，你会说‘是’，对吗？”，如果回答“是”，则右边的路通向遗址，否则左边的路通向遗址，具体分析如下： （1）被问者总说真话且回答“对”。则右边的路通向遗址。 （2）被问者总说真话且回答“不对”。则左边的路通向遗址。 （3）被问者总说谎话且回答“对”。因为是说谎者，所以实际上他会回答“不是”；又因为是说谎者，他回答‘不是’，表明右边的路通向遗址。 （4）被问者总说谎话且回答“不对”。因为是说谎者，所以实际上他会回答“是”；又因为是说谎者，他回答‘是’，表明右边的路不通向遗址。 现在假设用表示被问的人总说真话， 表示被问的人回答“对”，表示如果我问右边的路是否通向遗址，回答‘是’，表示右边的路通向遗址，则根据以上分析我们有如下表所示的真值表。 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 1 应用离散数学 命题逻辑 PAGE 杭电－周丽、方景龙 第一章 PAGE 7 这里，和都不是独立的命题变元，可以看成命题，的逻辑表达式，即 ， 5. 一个探险者被几个吃人者抓住了。有两种吃人者：总是说谎的和永不说谎的。除非探险者能判断出一位指定的吃人者是说谎者还是说真话者，否则就要被吃人者烤了吃。探险者只被允许问这位吃人者一个问题。 （1）解释为什么问：“你说谎吗？”是不行的。 （2）找一个问题，使探险者