原创力文档- 1、本文档共224页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
作业题与解答
第一章
19(2)、(4)、(6)
21(1)、(2)、(3)
19、(2)
解答：(p→7p)→1q真值表如下：
p
q
7p
7q
p→7p
(p→1p)→1q
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→1q)→1q为可满足式(p→q)→(1q→1p)真值表如下：
p
q
7p
7q
p→q
7q→7p
(p→q)→(7q→7p)
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)→(7q→7p)为永真式
word资料
19、(6)解答：((p→q)^(q→r))→(p→r)真值表如下：
p
q
r
p→q
q→r
p→r
(p→q)^(q→r)
((p→q)^(q→r))→(p→
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)解答：7(p^q)vr真值表如下：
p
q
r
7p
7r
7p^q
7(7p^q)
(7p^q)v┐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
word资料
21、(2)
解答：(7qvr)^(p→q)真值表如下：
p
q
r
79
7qvr
p→q
(7qvr)^(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)vp)真值表如下：
p
q
r
p→q
p^r
(p^r)
7(p^r)vp
(p→q)^(┐(p^r)vp)
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
word资料
所以成假赋值为：100,101
word资料
第二章5、(1)(2)(3)6、(1)(2)(3)7、(1)(2)8、(1)(2)
(3)
5、求下列公式的主析取范式，并求成真赋值
(1)(7p→q)→(1qvp)
7(7p→q)v(7qvp)
7(7(7p)vq)v(7qvp)(7p^7q)v(7qvp)
(7p^7q)v(p^7q)v(p^q)
movm2vm3,
所以00,10,11为成真赋值。
(2)(7p→q)^(q^r)
(77pvq)^(q^r)(pvq)^(q^r)(p^q^r)v(q^r)
(p^q^r)v(p^q^r)v(7p^q^r)
(p^q^r)v(7p^q^r)m3vm7,
所以011,111为成真赋值。
(3)(pv(q^r))→(pvqvr)
7(pv(q^r))v(pvqvr)
(7p^(1qvr))v(pvqvr)
(7p^1q)v(7p^r)v(pvqvr)
word资料
排孤pIOM
T^(bLvdL)
(TVT)^(bLvdL)((J^b?d?AL)v(JAb?d?dL))^(bLvdL)((A^b?d)^(ALvdL))^(bLvdL)
1
movm?vm2vm3vm4vm?vm6vm7,
所以000,001,010,011,100,101,110,111为成真赋值。
7、求下列公式的主析取范式，再用主析取范式求主合取范式
(1)(p^q)vr
(p^q^r)v(p^q^7r)v(p^r)v(7p^r)
(p^q^r)v(
文档评论（0）