参考答案 X:传教士人数,Y:野人人数; 设D(X,Y) 为运输过程,当X,Y为正时,表示去程; 当X,Y为负时,表示返程。另外还必须满足: 2-2设有3个传教士和3个野人来到河边,打算乘一只船从右岸渡到 左岸去。该船的负载能力为两人。在任何时候,如果野人人数超过 传教士人数,那么野人就会把传教士吃掉。他们怎么样才能用这条 船安全把所有人都渡到过河去? (X为0时除外)参考答案 参考答案 2-6把下列句子变换成子句形式: 消蕴含符AB AB 消全称量词 ( x )( P(x) Q) ( x ) P(x) Q P(x) Q 消存在量词 ( x )( P(x) Q) ( x ) P(x) Q P(C) Q参考答案 减小否定符号辖域 (AB) A B AB AB ( x )( P(x) Q) ( x ) P(x) Q P(x) Q参考答案 AB AB ( x )( P(x) Q) ( x ) P(x) Q参考答案 AB AB 分配率: p(q r) (pq)(p r) ; p (q r) (p q) (p r)参考答案 几个基本等值式: 交换率:pq q p ; p q q p 结合率: (