离散数学第二版屈婉玲版课后答案(离散数学第二版屈婉玲版课后答案pdf) - 知识库

离散数学答案解析屈婉玲版第二版高等教育出版社课后答案解析

去百度文库，查看完整内容>

内容来自用户:xnves36

离散数学答案屈婉玲版

第二版高等教育出版社课后答案

**章部分课后习题参考答案

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∧10.

（3）（p∧q∧r）↔(p∧q∧﹁r)（1∧1∧1）↔(0∧0∧0)0(4)（r∧s）→(p∧q)（0∧1）→(1∧0)0→01

17．判断下面一段论述是否为真：“是无理数。并且，如果3是无理数，则也是无理数。另外6能被2整除，6才能被4整除。”

答：p:是无理数1

q:3是无理数0r:是无理数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）

pqp→qqpq→p(p→q)→(q→p)

0011111

0110111

1001001

1110011

所以公式类型为永真式

（5）公式类型为可满足式（方法如上例）

（6）公式类型为永真式（方法如上例）

第二章部分课后习题参考答案

3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出⑤G(x):x+5=9.答结