离散数学（第二版） 第一章、第二章习题
目录
- 第一章命题逻辑的基本概念
- 习题 1
- 17 题 判断论述
- 21 题 求下列公式的成假赋值
- 29 题 简答题
- 第二章
- 知识储备
- 命题公式类型
- 习题二
- 知识储备
- 求下列公式的主析取范式，再用主析取范式求主合取范式．
- 用主析取范式判断下列公式是否等值．
- 简答题
- 用消解法判断下列公式是否是可满足的．
第一章命题逻辑的基本概念
习题 1
17 题 判断论述
判断下面一段论述是否为真：“ π是无理数．并且如果3是无理数，则 2\sqrt 22 另外 只有 6 能被 2 整除 ，6 才能被 4 整除．”
解答：
- p: π是无理数 1
- q: 3是无理数 0
- r: 2\sqrt 22 是无理数 1
- s:6能被2整除 1
- t: 6能被4整除0
命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。
21 题 求下列公式的成假赋值
（格式丑字丑，见谅）由于是第一章节习题所以使用真值表进行计算
- ┐(┐ p∧q)∧┐r
- (┐ q∨r)∧(p→q)
- (p→q)∧(┐(p∧r)∨p)
29 题 简答题
设A,B都是含命题变项p1,p2,…pn的公式,已知A∨B是矛盾式,证明当且仅当A与B都是矛盾式。
第二章
知识储备
命题公式类型
定义 2.10 设G为公式:
(1) 如果G在所有解释下都是真的，则称G是恒真式(或称G是重言式，永真式);
(2) 如果G在所有解释下都是假的，则称G是恒假式(或称G是矛盾式，永假式);
(3) 如果G不是恒假的，则称G是可满足式。
注意：
(1) 恒真公式的真值表的最后一列全为1，恒假公式的最后一列全为0，可满足公式的最后一列至少有一个1。
(2) 恒真公式一定是可满足的，可满足的不一定是恒真的。
习题二
7、15、29、33
知识储备
定义2.5
所有简单合取式，都是极小项的析取范式，称为主析取范式。
所有简单析取式，都是极大项的合取范式，称为主合取范式。
定理2.3（范式存在定理）
任何命题公式都存在与之等值的析取范式与合取范式。
对主析取范式主合取范式求解不太理解的可以看看下面这个例子
求下列公式的主析取范式，再用主析取范式求主合取范式．
(1) (p∧q)∨r
(2) (p→q)∧(q→r)
(1)
这里是解答
⇔(p∧q∧(¬r∨r))∨((¬p∨p)∧(¬q∨q)∧r) 补项。
⇔((p∧q∧¬r)∨(p∧q∧r))∨((¬p∨p)∧(¬q∨q)∧r) 分配律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨((¬p∨p)∧(¬q∨q)∧r) 结合律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨((¬p∧(¬q∨q)∧r)∨(p∧(¬q∨q)∧r)) 分配律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨(¬p∧(¬q∨q)∧r)∨(p∧(¬q∨q)∧r) 结合律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨((¬p∧¬q∧r)∨(¬p∧q∧r))∨(p∧(¬q∨q)∧r) 分配律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧(¬q∨q)∧r) 结合。
⇔(p∧q∧¬r)∨(p∧q∧r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨((p∧¬q∧r)∨(p∧q∧r)) 分配律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) 结合律。
⇔(p∧q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) 等幂律。
m1∨m3∨m5∨m6∨m7 主析取式
m0∧m2∧m4主合取式
(2)
这里是解答
⇔ (¬p∨q)∧(¬q∨r)
⇔ (¬p∨q∨(¬r∧r))∧((¬p∧p)∨¬q∨r) 补项
⇔ ((¬p∨q∨¬r)∧(¬p∨q∨r))∧((¬p∧p)∨¬q∨r) 分配律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧((¬p∧p)∨¬q∨r) 结合律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧((¬p∨¬q∨r)∧(p∨¬q∨r)) 分配律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)∧(p∨¬q∨r) 结合律
m1∧m2∧m3∧m5 主合取式
m0∨m4∨m6∨m7 主析取式
用主析取范式判断下列公式是否等值．
(1) (p→q)→r与q→(p→r)
(2) ┐(p∧q)与┐(p∨q)
因为任何命题公式的主析取范式都是唯一的，因而A与B等值，当且仅当A与B有相同的主析取范式和主合取范式．
设A= (p→q)→r，B=q→(p→r)
求解 A、B、C、D的主析取范式。
A=(p→q)→r
⇔(p∧┐q)∨r
⇔((P∧┐Q)∧(R∨┐R))∨(R∧(P∨┐P)∧(Q∨┐Q)))
⇔(P∧┐Q∧R)∨(P∧┐Q┐R)∨((R∧P)∨(R∧┐P))∧(Q∨┐Q))
⇔(P∧┐Q∧R)∨(P∧┐Q┐R)∨(R∧P∧Q)∨(R∧P∧┐Q)∨ (R∧┐P∧Q)∨(R∧┐P∧┐Q)
⇔(P∧┐Q∧R)∨(P∧┐Q┐R)∨(P∧Q∧R)∨(P∧┐Q ∧R)∨ (┐P∧Q ∧R)∨(┐P∧┐Q∧R)(上式整理后)
⇔m1∨m3∨m4∨m5∨m7
B=q→(p→r)
⇔￢q∨￢p∨r
⇔￢p∨￢q∨r
⇔M6
⇔m0∨m1∨m2∨m3∨m4∨m5∨m7
(1)(p→q)→r与q→(p→r)不等值
简答题
在某班班委成员的选举中，已知王小红、李强、丁金生 位同学被选迸了班委会该班的甲 ．乙，丙三名学生预言如下．
甲说：王小红为班长，李强为生活委员．
乙说：丁金生为班长，王小红为生活委员
丙说：李强为班长，王小红为学习委员．
班委会分工名单公布后发现，甲 、乙，丙 三人都恰好猜对了一半． 问：王小红、李强、 金生各任何职（用等值等演求解）？
设命题
a:王小红为班长
b:李强为生活委员
c:丁金生为班长
d:王小红为生活委员
e:李强为班长
f:王小红为学习委员
则
a,b当中有且只有1个为真, 即a∧b=F，a∨b=T
c,d当中有且只有1个为真, 即c∧d=F，c∨d=T
e,f当中有且只有1个为真, 即e∧f=F，e∨f=T
又因为a,d,f三个命题当中，有且只有1个为真（王小红只有1个职务），即
(a∧c∧e)∨(b∧d∧e)∨(b∧c∧f)=T ① （枚举3种情况，然后析取）
而b,d不可能同时为真（生活委员只有1个），即b∧d=F
则根据①，化简得
(a∧c∧e)∨(b∧c∧f)=T ②
而a,c,e三个命题当中，也有且只有1个为真（班长只有1个），即
a∧c∧e=F，代入②，得到
b∧c∧f=T
从而
b=c=f=T
即
李强为生活委员，
丁金生为班长，
王小红为学习委员
用消解法判断下列公式是否是可满足的．
(1)p∧(┐p∨┐q)∧q
(2)(p∨q)∧(p∨┐q)∧(┐p∨r)
这是百度文库的答案（因为这些符号太难打了）
离散数学（第二版） 第一章、第二章习题相关推荐
- 数据结构(C语言)第二版 第一章课后答案
数据结构(C语言)第二版 第一章课后答案 这本书,我以后也会用,所以趁着考完试做个整理,顺便分享出来.电子资源发不出来,放评论区吧,有需要自取. 1. 简述下列概念:数据.数据元素.数据项.数据对象. ...
- 《视觉SLAM十四讲 第二版》笔记及课后习题（第一讲）
前言 之所以想要写这个系列的博客,是因为想要总结一下高博的<SLAM视觉十四讲第二版>的各章内容以及自己对书后习题的一些做法,也算是对自己学习过程的一个总结和回顾.博客分为两个大部分,即读 ...
- 数据可视化第二版-03部分-07章-局部与整体
文章目录 数据可视化第二版-03部分-07章-局部与整体 总结 可视化视角-局部与整体 代码实现 韦恩图 venn3 venn2 饼图 环形图 旭日图 园堆积图 矩形树图 漏斗图 基于matplot' ...
- (矩阵分析基础（第二版）第三章 矩阵的分解 3.3埃尔米特(hermite)矩阵及其分解)
(矩阵分析基础(第二版)第三章 矩阵的分解 3.3埃尔米特(hermite)矩阵及其分解) 文章目录 (矩阵分析基础(第二版)第三章 矩阵的分解 3.3埃尔米特(hermite)矩阵及其分解) 1.埃 ...
- 计算机网络（第二版）--清华大学出版社课后习题答案
计算机网络(第二版)清华大学出版社课后习题答案 第一章 1.计算机网络的发展可以划分为几个阶段?每个阶段各有什么特点? 答:可以划分为四个阶段: 第一阶段:20世纪50年代-------面向终端 计算 ...
- 算法竞赛入门经典（第二版）第三章习题
声明:作者水平有限,只是会基础C语言的小菜,C++还未入门.作者仅根据算法竞赛入门经典(第二版)书上第三章习题所述题意而编写,并未严格按照原题的输入输出编写,代码仅经过个人测试(OJ网站太慢了).代码 ...
- 深入理解计算机系统（第二版）第四章知识整理
深入理解计算机系统(第二版)笔记 第四章 处理器体系结构 4.1 Y86指令集体系结构 4.1.1 程序员可见的状态 4.1.2 Y86指令 4.1.3 指令编码 4.1.4 Y86异常 4.1.5 ...
- 《微波技术与天线》 刘学观 西安电子科技大学 第二版 课后答案 1-9章
百度网盘链接:https://pan.baidu.com/s/1eOaekW_PWEZZw9G-5Udleg提取码:p5vx 网上找了基本都只能找到1-6章的答案,找了好几个小时才找到比较完整的1-9 ...
- 《JavaScript忍者秘籍》（第二版）- 第5章 -精通函数：闭包和作用域
目录 第5章 精通函数:闭包和作用域 5.1 理解闭包 5.2 使用闭包 5.2.1 封装私有变量 5.2.2 回调函数 5.3 通过执行上下文来跟踪代码 5.4 使用词法环境跟踪变量的作用域 5.4 ...
- Slam十四讲（第二版）：1、习题
Github:https://github.com/gaoxiang12/slambook2(对应的是第二版) 第一讲 齐次线性方程组的表现形式为:Ax=0:讲解链接:https://jingyan. ...
最新文章
- 这个CV数据集生成器火了，支持13类复杂CV任务，DeepMind谷歌MIT等打造丨开源
- 【C#】第3章学习要点（三）--常用类和结构的用法
- 【mybatis】mybatis中 的# 和 $的区别
- Spring Boot 系列（五）web开发-Thymeleaf、FreeMarker模板引擎
- Error creating bean with name ‘fastJsonpResponseBodyAdvice‘ defined in URL xxx
- 2019牛客暑期多校训练营（第七场）-C Governing sand
- QT 5.3 VS2010 中文
- 华为视频会议系统常见问题及解决方法
- 在java中获取当前系统时间 插入数据库中的时间值没有时间只有日期的原因...
- VC知识库博客转到这里来写
- 嵌入式linux 中文输入法,基于嵌入式Linux的汉字输入法
- Gitea+Jenkins+webhooks-前端自动化部署
- bcc语料库下载_大数据背景下BCC语料库的研制_荀恩东
- CS游戏控制台命令大全（来自网络）
- 机器人动力学与控制学习笔记（七）————基于计算力矩法的滑模控制
- GO语言Comma-ok断言
- 【生产力++】脚本自动化提取待复习内容 极大提高复习效率（下）
- 小白怎么学习云计算？2020最新云计算学习路线图
- 小米10至尊纪念版和华为mate40的区别 哪个好
- windows打不开应用商店，edge浏览器不能登录同步