四川理工学院大二计算机专业离散数学试卷及答案 (4).docVIP

四川理工学院试卷〔2021至2021学年 第1学期〕 课程名称： 离散数学〔A卷〕 命题教师： xx 适用班级： 计算机科学与技术2021级1-6班，网络工程2021级1-4班 §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. 用真值表证明下面的等价式 〔1〕 〔2〕 〔3〕 〔4〕 〔5〕 解 〔1〕 0 0 0 1 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 〔2〕 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 〔3〕 0 0 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 〔4〕 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 〔5〕 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 5. 只使用命题变元和能构造多少不同的命题公式真值表？ 解 能构造出16〔2的4次方〕种不同的命题公式真值表。 6. 用等价演算法证明下面的等价式 〔1〕 〔2〕 〔3〕 〔4〕 〔5〕 〔6〕 〔7〕 〔8〕 解 〔1〕右边=左边 〔2〕 左边 =右边 〔3〕 左边=1 右边=1 所以 左边＝右边 〔4〕 左边 =右边 〔5〕 左边 =右边 〔6〕 左边 =右边 左边 右边 所以 左边＝右边 左边 右边 所以 左边＝右边 下面4道题是智力游戏题，解题时可以先把语句翻译成命题公式，再利用其成真赋值进行求解。 7. 遥远村庄的每个人要么总说真话，要么总说谎话。对旅游者的问题，村民要么答复“是〞，要么答复“不〞。假定你在这一地区旅游，走到了一个岔路口，一条岔路通向你想去的遗址，另一岔路通向丛林深处。此时恰有一村民站在岔路口，问村民什么样的一个问题就能决定走那条路？ 解 问“如果我问你右边的路是否通向遗址，你会说‘是’，对吗？〞，如果答复“是〞，则右边的路通向