离散数学习题解答(耿素云屈婉玲)北京大学出版社

WORD格式.整理版

(?p?q)?(?q?p)?(p?q)?(?q?p)??(p?q)?(?q?p)?(?p??q)?(?q?(p??p))?(p?(q??q) ?(p?q)?(p??p)?(?p??q)?m0?m2?m3成真赋值为00,10,11. (2)?(p?q)?q?r

答:?(p?q)?q?r??(?p?q)?q?r?p??q?q??0 所以为矛盾式。

(3)(p?(q?r))?(p?q?r) 答

(p?(q?r))?(p?q?r)??(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?(r??r)?(?p?(q??q)??r)?(p?(q??q)?(r??r))?((p??p)?q?(r??r))?((p??p)?(q??q)?r)?(?p??q?r)?(?p??q??r)?(?p?q??r)?(p?q?r)?(p??q?r)?(p?q??r)?(p??q??r)?(?p?q?r)?m0?m1?m2?m3?m4?m5?m6?m7所以是重言式,真值为000,001,010,011,100,101,110,111.

6.求下列公式的主析取范式,并求成真赋值: (1)?(q??p)??p

答:?(q??p)??p??(?q??p)??p?q?p??p?0,是矛盾式,所有赋值均为成真赋值。

(2)(p?q)?(?p?r)

答:(p?q)?(?p?r)?(p??p?r)?(q??p?r)?(?p?q?r)?M4,成假赋值为100.

(3)(p?(p?q))?r

答:(p?(p?q))?r?(?p?(p?q))?r?(?p?p?q?r?1,所以为重言式。所有赋值均为成真赋值。

7.求下列公式的主析取范式,再用主析取范式求主合取范式: (1)(p?q)?r

答:(p?q)?r?(p?q?(r??r))?((p??p)?(q??q)?r)

优质.参考.资料

WORD格式.整理版

?(p?q?(r??r))?((p??p)?(q??q)?r)?(p?q?r)?(p?q??r)?(p??q?r)?(?p?q?r)?(?p??q?r) ?m1?m3?m5?m6?m7?M0?M2?M4(2)(p?q)?(q?r) 答:

(p?q)?(q?r)?(?p?q)?(?q?r)?(?p??q)?(?p?r)?(q??q)?(q?r)?(?p??q?(r??r))?(?p?(q??q)?r)?((p??p)?q?r)?(?p??q?r)?(?p??q??r)?(?p?q?r)?(p?q?r)

?m0?m1?m3?m7?M2?M4?M5?M68.求下列公式的主合取范式,再用主合取范式求主析取范式: (1)(p?q)?q

答:(p?q)?q??(p?q)?q??p??q?q?1?m0?m1?m2?m3 为重言式。

(2)(p?q)?r

答:(p?q)?r??((p?q)?(?p??q))?r?(?(p?q)??(?p??q))?r

?((?p??q)?(p?q))?r?(?p??q?r)?(p?q?r)?M0?M6 ?m1?m2?m3?m4?m5?m7(3)?(r?p)?p?q

答:?(r?p)?p?q?r??p?p?q

?M0?M1?M2?M3?M4?M5?M6?M7 ?0

因此为矛盾式.

9.用真值表求下面的公式的主析取范式. (1)(p?q)?(?p?r) 答:公式的真值表如下: q p r ?p p?q ?p?r (p?q)?(?p?r) 0 1 0 0 优质.参考.资料

0 0 0 1 1 1 0 0 0 1 WORD格式.整理版

0 0 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 其成真赋值为001,010,011,100,101,110,111,所以其主析取范式为

m1?m2?m3?m4?m5?m6?m7

(2)(p?q)?(p??q) 答:公式的真值表如下: ?q q p 0 0 1 1 0 1 0 1 1 0 1 0 p?q 1 1 0 1 p??q 0 1 1 0 (p?q)?(p??q) 0 1 1 0 (p?q)?(p??q)?(p??q)?((?p??q)?(p?q))

?(?p?q)?(p??q) 故其成真赋值为001,010. 所以其主析取范式为m1?m2. 10.用真值表求下面公式的主合取范式. (1)(p?q)?r

答:(p?q)?r?(p?r)?(q?r) ?M0?M2?M4 (2)(p?q)?(q?r)

答:(p?q)?(q?r)?(?p?q)?(?q?r) ?M2?M4?M5?M6

11.用真值表求下面公式的主析取范式和主合取范式. (1)(p?q)?r (2)p?(p?q?r) (3)?(q??p)??p

优质.参考.资料

WORD格式.整理版

p q r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 (p?q)?r 0 0 0 1 0 1 0 1 p?(p?q?r) ?(q??p)??p 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 答:(1)由真值表可得成真赋值为011,101,111,故主析取范式为m3?m5?m7,主合取范式为M0?M1?M2?M4?M6

(2)由真值表可得无成假赋值,故主析取范式为

m0?m1?m2?m3?m4?m5?m6?m7,主合取范式为1.

(3)由真值表可得无成真赋值,故主析取范式为0,主合取范式为

M0?M1?M2?M3.

12.已知公式A含3个命题变项p,q,r,并且它的成真赋值为000,011,110,求A的主合取范式和主析取范式.

答:由题意得,A的主主合取范式为M1?M2?M4?M5?M7,主析取范式

m0?m3?m6.

13. 已知公式A含3个命题变项p,q,r,并且它的成真赋值为000,011,110,求A的主合取范式和主析取范式.

答:由题意得,A的主主合取范式为M2?M3?M6?M7,主析取范式

m0?m1?m5?m7.

14.已知公式A含n个命题变相p1,p2,......,pn,并且无成假赋值,求A的主合取范式. 答:A的主合取范式为1..

15.用主析取范式判断下列公式是否等值: (1)(p?q)?r与q?(p?r) 答:(p?q)?r?(p??q)?r

?m1?m3?m4?m5?m7

优质.参考.资料

联系客服:779662525#qq.com(#替换为@)