- 1、本文档共16页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
参考答案
2-2设有3个传教
野人来到河边,打算乘一只船从右岸渡到
左岸去。该船的
力为两人在任何时候,如果野人人数超过
有类
所简摆传教王吃掉。他们怎么样才能用这条
RX:传教士人数,Y:野人人数
X=0
设D(X)为运输过程,当XY为正时,表
¥=3当xY为负时,表示返程。另外还必须满
1≤|X|+|Y
X≥Y(X为0时除
初始状态:区(00、R(,3→(1)、(2.2)→2(01)、R(3,2)→
(0.3)、R(3.0→r(0.2)、R(31
(22)、R(11)
2()、R(22→(3R02→(30)、即0
(32)、R(0.1)→1(31)、R(0.2)→目标状态:(3)、R(0o)
参考答案|8
D(1,1
L(0,0),R{3,3
⑤D(0,2
⊙D(0,-2)
R(3,2
=i+(3+3-ab
R(3,1)
参考答案
2-6把下列句子变换成子句形式
(1)(x){P(x)、P(x)
①消去落合符号:(x)和P(x)√P(x
②消去全称量词,得子句集:口P(x)yP(x)
(2)txvy(On(x, y)->above(x,y))
①消去蕴含符学:xy)On(xy) v Above(xy)}
②消去全称量词,得子句集:DOn(x,y) aBove(x,y)
消蕴含符A→B~AUB
消全称量词cvx)(P(x)VQ分x)P(x)VQ分P(x)VQ
消存在量词(x)(P(x)VQ)日x)P(x)VQP(c)VQ
参考答案
(3)VxVytz(Above(x, y)A above(J, z)-4 bove(x, z))
①清合符号:(xy2)[4boe(x,y) A Above(y,2)] Ahove(x,2)
②减步定符号的辖线:(xyVz)( bove(xy)y-Aboe(y,2)Awe(x2)
③清去全称量词,得子句集: Above(x.y) VD Above(y.z) v above(x.z)
A→B~AUB
vx)(P(x)∨Q分(x)p(x)VQP(x)VQ
减小否定符号辖域~(A∩B)
A
B
参考答案
(4)-{0{P(x)→{(9)p()→P(f(xy)(可(xy)→P(}
①消去蘊含符号:
和)P(球(P()P(f(x)(Q(xy)P(列)}
②减少否定符号的:
()P(x))P(y)yP((xy)()9(xy)yP(列
(3)(x)8P(yvP((xy)(厘e(xyP()]
(=)P(x){3)[P()P((xy}([9(xyP(
()P(x){(POP((xy)()?(xy)yP()
③对变量标准化:
(3)1P(x){(3yP()P(r(xy((x小P(刀}
文档评论(0)