离散数学杜忠复版答案_离散数学第2版答案
离散数学第
2
版答案
【篇一：离散数学课后习题答案
_
屈婉玲
(
高等教育出版
社
)
】
txt>16
设
p
、
q
的真值为
0
；
r
、
s
的真值为
1
，求下列各命题公式的
真值。
(
1
)
p
∨
(q
∧
r)? 0
∨
(0
∧
1) ?0
(
2
)(
p?r
)∧
(
﹁
q
∨
s) ?
(
0?1
)∧
(1
∨
1) ?0
∧
1?0.
(
3
)(
?p
∧
?q
∧
r
)
?(p
∧
q
∧﹁
r) ?
(
1
∧
1
∧
1
)
? (0
∧
0
∧
0)?0
(4)
(
?r
∧
s
)
→(p
∧
?q) ?
(
0
∧
1
)
→(1
∧
0) ?0→0?1
17
．判断下面一段论述是否为真：
“?
是无理数。并且，如果
3
是无
理数，则
2
也是无理数。另外
6
能被
2
整除，
6
才能被
4
整除。
”
答：
p: ?
是无理数
1
q: 3
是无理数
0
r: 2
是无理数
1
s: 6
能被
2
整除
1
t: 6
能被
4
整除
0
命题符号化为：
p
∧
(q→r)
∧
(t→s)
的真值为
1
，所以这一段的论述
为真。
19
．用真值表判断下列公式的类型：
(
4
)
(p→q) →(?q→?p)
(
5
)
(p
∧
r) ?(?p
∧
?q)
(
6
)
((p→q)
∧
(q→r)) →(p→r)
答：
(
4
)
p q p→q ?q?p?q→?p (p→q)→(?q→?p) 0 01 111 1 0 11 011
1 1 00 100 1 1 11 001 1
所以公式类型为永真式
(
5
)公式类型为可满足式(方法如上例)
(
6
)公式类型为永真式(方法如上例)
第二章部分课后习题参考答案
3.
用等值演算法判断下列公式的类型，对不是重言式的可满足式，
再用真值表法求出成真赋值
.
(2)(p→(p
∨
q))
∨
(p→r)
(3)(p
∨
q)→(p
∧
r)
离散数学杜忠复版答案_离散数学第2版答案相关推荐
- 野火开发版屏幕_鸿蒙OS手机版正式发布！副总裁现场表态：我们已经准备好了...
智东西(公众号:zhidxcom) 作者 | 云鹏 编辑 | 漠影 智东西12月16日消息,刚刚华为正式发布了鸿蒙OS 2.0手机开发者Beta版,不过该版本仅开发者可以下载,消费者想要体验手机端的鸿 ...
- 八年级python考试题及答案_（新世纪版）2018－2019学年第二学期八年级信息技术期末试卷+答题卡+答案...
(新世纪版)2018-2019学年第二学期八年级信息技术期末试卷+答题卡+答案 2018-2019学年第一学期期末模拟试卷 八年级 信息技术 时间:40分钟 总分:100分 一.单项选择题(每题3分, ...
- 多元统计分析基于r课后答案_何晓群版—多元统计分析课后练习答案.pdf
何晓群版-多元统计分析课后练习答案 第1 章 多元正态分布 1.在数据处理时,为什么通常要进行标准化处理? 数据的标准化是将数据按比例缩放,使之落入一个小的特定区间.在某些比 较和评价的指标处理中经常 ...
- 计算机图形学考试题及答案_计算机图形学试卷及答案
计算机图形学试卷及答案 第 1 页 共 4 页 年级 班 姓名 学号 成绩 一.填空题(每空1分,共30分) 1.计算机图形学是用计算机建立.存储.处理某个对象的模型,并根据 模型产生该对象图形输出的 ...
- 华为mate40功耗测试软件,华为mate40标准版评测_华为mate40标准版详细评测
华为mate40标准版目前受到了很多人的关注,这款手机确实是一款非常值得入手的手机.下面小编就来为华为mate40标准版做一个详细的评测带大家详细的了解一下华为mate40标准版这款手机吧. 1.外观 ...
- t04d1清零_4 ． 8051 单片机定时器 T0 的溢出标志 TF0 ，在 CPU 响应中断后由 清零 。（硬件 / 软件）_艺术设计概论答案_学小易找答案...
[单选题]软件工程方法的提出起源于软件危机 , 而其目的应该是最终解决软件的 ( ) 问题.(5.0分) [简答题]When you know programming, what is the nee ...
- 查看变量数据类型的python内置函数_查看变量类型的 Python 内置函数是 ________________ 。_微观经济学(合作办学)答案_学小易找答案...
[多选题]维生素B2的食物来源 [判断题]生产中纱线细度间接指标的测试通常采用缕纱称重法. [判断题]在正常情况下,人体所需叶酸除从食物中摄取外,肠道也能部分合成,因此体内一般不缺 [简答题]试述体育 ...
- debian 开发版 移植_迅雷X Linux版（Debian系通用）
近年来,随着美帝的不断打压,对我们的科技发展造成了很大的冲击,华为甚至因此不能制造芯片了,所以国产替代的概念就快速兴起,Linux作为排在Windows.MacOS之后的第三大操作系统,因为它开源.免 ...
- 以下关于java中布局管理说法错误的是_对于 Java 中的布局管理器，以下说法中错误的是（ ）。_2019复习答案_学小易找答案...
[单选题]下列哪个酶与丙酮酸生成糖无关? [单选题]宋代( )的产地是当时的福建建安. [单选题]建筑平面图中,外部尺寸一般标注( )尺寸. [单选题]MCS - 51 单片机的 CPU 主要的组成部 ...
- 华为 seco pc版下载_狼人之间电脑版下载-狼人之间pc版下载v1.8 官方版
狼人之间电脑版真实的联机匹配体验紧张刺激的推理冒险乐趣,精彩的背景音效以及特色的关卡给你最真实的游戏气氛玩起来超嗨,还原真实的案件,感兴趣的玩家就来下载试试吧! 狼人之间pc版游戏介绍 <狼人之 ...
最新文章
- **IOS:xib文件解析(xib和storyboard的比较，一个轻量级一个重量级)
- 福布斯：2018年将改变世界的九股科技大趋势
- python find函数 和index的区别_find方法和index方法的区别
- mysql5.6查看归档_MySQL5.6 使用 pt-archiver 分批删除、归档数据
- 《深入学习 Golang》并发编程
- Java并发系列—并发编程基础
- db2数据库连接数 linux_DB2 数据库 linux基本操作【转】
- kali foremost 分离文件_软件架构之分离关注点
- Web 前端视频资源分享（Bootstrap/Vue/小程序）
- [转]挺不错的辞职申请[“模板“]
- 2021年软件测试工具总结——测试管理工具
- TP6微信公众号登陆授权
- Inference与predicting的区别
- PHP 使用用户排队机制解决网站大访问量的例子
- 遍历文件夹(含子文件夹)方法
- 静态网站的搭建（Windows server2003）
- 笔记本更换SATA3接口的固态硬盘注意事项
- 执行python除法的符号_python 除法
- php一张纸对折,给你一张纸，你最多能对折几次？
- 2012开源中国开源世界高峰论坛有感