离散数学答案屈婉玲版第二版高等教育出版社课后答案
离散数学答案
屈婉玲版
第二?/p>
高等教育出版社课后答?/p>
第一章部分课后习题参考答?/p>
16
?/p>
p
?/p>
q
的真值为
0
?/p>
r
?/p>
s
的真值为
1
,求下列各命题公式的真值?/p>
?/p>
1
?/p>
p
?/p>
(q
?/p>
r)
?/p>
0
?/p>
(0
?/p>
1)
?/p>
0
?/p>
2
?/p>
?/p>
p
?/p>
r
)∧
(
?/p>
q
?/p>
s)
?/p>
?/p>
0
?/p>
1
)∧
(1
?/p>
1)
?/p>
0
?/p>
1
?/p>
0.
?/p>
3
?/p>
?/p>
?/p>
p
?/p>
?/p>
q
?/p>
r
?/p>
?/p>
(p
?/p>
q
∧﹁
r)
?/p>
?/p>
1
?/p>
1
?/p>
1
?/p>
?/p>
(0
?/p>
0
?/p>
0)
?/p>
0
(4)
?/p>
?/p>
r
?/p>
s
)→
(p
?/p>
?/p>
q)
?/p>
?/p>
0
?/p>
1
)→
(1
?/p>
0)
?/p>
0
?/p>
0
?/p>
1
17
.判断下面一段论述是否为真:
?/p>
?/p>
是无理数。并且,如果
3
是无理数,则
2
也是?/p>
理数。另?/p>
6
能被
2
整除?/p>
6
才能?/p>
4
整除?/p>
?/p>
答:
p:
?/p>
是无理数
1
q: 3
是无理数
0
r:
2
是无理数
1
s:
6
能被
2
整除
1
t: 6
能被
4
整除
0
命题符号化为?/p>
p
?/p>
(q
?/p>
r)
?/p>
(t
?/p>
s)
的真值为
1
?/p>
所以这一段的论述为真
?/p>
19
.用真值表判断下列公式的类型:
?/p>
4
?/p>
(p
?/p>
q)
?/p>
(
?/p>
q
?/p>
?/p>
p)
?/p>
5
?/p>
(p
?/p>
r)
?/p>
(
?/p>
p
?/p>
?/p>
q)
?/p>
6
?/p>
((p
?/p>
q)
?/p>
(q
?/p>
r))
?/p>
(p
?/p>
r)
答:
?/p>
4
?/p>
p q p
?/p>
q
?/p>
q
?/p>
p
?/p>
q
?/p>
?/p>
p (p
?/p>
q)
?/p>
(
?/p>
q
?/p>
?/p>
p)
0 0 1 1 1 1 1
0 1 1 0 1 1 1
1 0 0 1 0 0 1
1 1 1 0 0 1 1
所以公式类型为永真?/p>
?/p>
5
)公式类型为可满足式(方法如上例?/p>
?/p>
6
)公式类型为永真式(方法如上例)
第二章部分课后习题参考答?/p>
3.
用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求?