原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
离散数学习题与解答选编
作业题与解答
第一章
19 (2)、(4) 、(6)
21 (1)、(2) 、(3)
19、(2)
解答: (p→┐p)→┐q 真值表如下:
p
q┐p┐qp→┐p(p→┐p)→┐q
0
0
1
1
1
1
0
1
1
0
1
0
1
0
0
1
0
1
1
1
0
0
0
1
19、(4)
所以公式(p→┐q)→┐q 为可满足式
解答: (p→q)→(┐q→┐p) 真值表如下:
p
q┐p┐qp→q┐q→┐p(p→q)→(┐q→┐p)
0
0
1
1
1
1
1
0
1
1
0
1
1
1
1
0
0
1
0
0
1
1
1
0
0
1
1
1所以公式(p→q)→(┐q→┐p)为永真式
19、(6)解答: ((p→q)∧(q→r))???(p→r) 真值表如下:
p
q
rp→qq→rp→r(p→q)∧(q→r)((p→q)∧(q→r))→(p→r)
0
0
0
1
1
1
1
1
0
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
1
1
0
0
0
1
0
0
1
1
0
1
0
1
1
0
1
1
1
0
1
0
0
0
1
1
1
1
1
1
1
1
1所以公式((p→q)∧(q→r))→(p→r)为永真式
21、(1)解答: ┐(┐p∧q)∨┐r 真值表如下:
p
q
r┐p┐r┐p∧q┐(┐p∧q)┐(┐p∧q)∨┐r
0
0
0
1
1
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
1
1
0
1
0
1
1
1
0
1
0
0
1
0
0
0
1
0
1
1
1
0
1
0
0
0
1
1
1
1
0
0
1
0
1
1
1
1
1
0
0
0
1
1所以成假赋值为:011
21、(2)
解答: (┐q∨r)∧(p→q)真值表如下:
p
q
r┐q┐q∨rp→q(┐q∨r)∧(p→q)
0
0
0
1
1
1
1
0
0
1
1
1
1
1
0
1
0
0
0
1
0
0
1
1
0
1
1
1
1
0
0
1
1
0
0
1
0
1
1
1
0
0
1
1
0
0
0
1
0
1
1
1
0
1
1
1所以成假赋值为:010,100,101,110
21、(3)解答: (p→q)∧(┐(p∧r)∨p)真值表如下:
p
q
r
p→q
p∧r
┐(p∧r)
┐(p∧r)∨p
(p→q)∧(┐(p∧r)∨p)
0
0
0
1
0
1
1
1
0
0
1
1
0
1
1
1
0
1
0
1
0
1
1
1
0
1
1
1
0
1
1
1
1
0
0
0
0
1
1
0
1
0
1
0
1
0
1
0
1
1
0
1
0
1
1
1
1
1
1
1
1
0
1
1所以成假赋值为:100,101
第二章 5、(1) (2) (3) 6、(1) (2) (3) 7、(1) (2) 8、(1) (2) (3)
5、求下列公式的主析取范式,并求成真赋值
(1) (┐p→q)→(┐q∨p)
?┐(┐p→q) ∨ (┐q∨p)
?┐(┐(┐p) ∨ q) ∨ (┐q∨p)
?(┐p ∧ ┐q) ∨ (┐q∨p)
?(┐p ∧ ┐q) ∨ (p ∧ ┐q)∨(p ∧q)
?m0 ∨m 2∨m3，
所以 00，10，11 为成真赋值。
(2) (┐p→q)∧(q∧r)
?(┐┐p∨q)∧(q∧r)
?(p∨q)∧(q∧r)
?(p∧q∧r)∨(q∧r)
?(p∧q∧r)∨(p∧q∧r)∨(┐p∧q∧r)
?(p∧q∧r)∨(┐p∧q∧r)
?m3∨m 7，
所以 011，111 为成真赋值。
(3) (p∨(q∧r))→(p∨q∨r)
?┐(p∨(q∧r))∨(p∨q∨r)
?(┐p∧ (┐q∨┐r))∨(p∨q∨r)
?(┐p∧┐q)∨(┐p∧┐r)∨(p∨q∨r)
?(┐p∧┐q)∨((
文档评论（0）