收藏 分享(赏)

离散数学(左孝凌)课后习题解答(详细).doc

上传人:hyngb9260 文档编号:7076547 上传时间:2019-05-05 格式:DOC 页数:155 大小:2.50MB
下载 相关 举报
离散数学(左孝凌)课后习题解答(详细).doc_第1页
第1页 / 共155页
离散数学(左孝凌)课后习题解答(详细).doc_第2页
第2页 / 共155页
离散数学(左孝凌)课后习题解答(详细).doc_第3页
第3页 / 共155页
离散数学(左孝凌)课后习题解答(详细).doc_第4页
第4页 / 共155页
离散数学(左孝凌)课后习题解答(详细).doc_第5页
第5页 / 共155页
点击查看更多>>
资源描述

1、第 1 章 习题解答1离散数学习题 1.11. 下列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。 中国有四大发明。 计算机有空吗? 不存在最大素数。 21+35。 老王是山东人或河北人。 2 与 3 都是偶数。 小李在宿舍里。 这朵玫瑰花多美丽呀! 请勿随地吐痰! 圆的面积等于半径的平方乘以 。 只有 6 是偶数,3 才能是 2 的倍数。 雪是黑色的当且仅当太阳从东方升起。如果天下大雨,他就乘班车上班。解:是命题,其中是真命题,是假命题,的真值目前无法确定;不是命题。2. 将下列复合命题分成若干原子命题。 李辛与李末是兄弟。 因为天气冷,所以我穿了羽绒服。 天正在下雨或湿度很高

2、。 刘英与李进上山。 王强与刘威都学过法语。 如果你不看电影,那么我也不看电影。我既不看电视也不外出,我在睡觉。 除非天下大雨,否则他不乘班车上班。解:本命题为原子命题; p : 天气冷;q : 我穿羽绒服; p : 天在下雨;q : 湿度很高; p:刘英上山;q:李进上山 ; p:王强学过法语;q:刘威学过法语; p:你看电影;q:我看电影; p:我看电视;q:我外出;r:我睡觉; p : 天下大雨;q:他乘班车上班。第 1 章 习题解答23. 将下列命题符号化。 他一面吃饭,一面听音乐。 3 是素数或 2 是素数。 若地球上没有树木,则人类不能生存。 8 是偶数的充分必要条件是 8 能被

3、3 整除。 停机的原因在于语法错误或程序错误。 四边形 ABCD 是平行四边形当且仅当它的对边平行。 如果 a 和 b 是偶数,则 a+b 是偶数。解: p:他吃饭;q:他听音乐;原命题符号化为:pq p:3 是素数;q:2 是素数;原命题符号化为:pq p:地球上有树木;q:人类能生存;原命题符号化为:p q p:8 是偶数;q:8 能被 3 整除;原命题符号化为:pq p:停机;q:语法错误;r:程序错误;原命题符号化为:qrp p:四边形 ABCD 是平行四边形;q:四边形 ABCD 的对边平行;原命题符号化为:pq 。 p:a 是偶数;q:b 是偶数;r:a+b 是偶数;原命题符号化为

4、:pqr4. 将下列命题符号化,并指出各复合命题的真值。 如果 3+3=6,则雪是白的。 如果 3+36,则雪是白的。 如果 3+3=6,则雪不是白的。 如果 3+36,则雪不是白的。 是无理数当且仅当加拿大位于亚洲。3 2+3=5 的充要条件是 是无理数。(假定是 10 进制)3 若两圆 O1,O 2 的面积相等,则它们的半径相等,反之亦然。 当王小红心情愉快时,她就唱歌,反之,当她唱歌时,一定心情愉快。解:设 p:336。q:雪是白的。 原命题符号化为:pq;该命题是真命题。 原命题符号化为:pq;该命题是真命题。 原命题符号化为:pq;该命题是假命题。 原命题符号化为:pq;该命题是真命

5、题。 p: 是无理数;q:加拿大位于亚洲;原命题符号化为:pq ; 该命题是假命3题。 p:2+35;q: 是无理数;原命题符号化为:pq ; 该命题是真命题。 p:两圆 O1,O2 的面积相等;q:两圆 O1,O2 的半径相等;原命题符号化为:pq ; 该命题是真命题。 p : 王小红心情愉快;q:王小红唱歌;原命题符号化为:pq ; 该命题是真命题。第 1 章 习题解答3习题 1.21.判断下列公式哪些是合式公式,哪些不是合式公式。 (pqr) (p( qr ) (pq)(rs) (pqrs) (p(qr )(qp)q r)。解:是合式公式;不是合式公式。2.设 p:天下雪。q:我将进城。

6、r:我有时间。将下列命题符号化。 天没有下雪,我也没有进城。 如果我有时间,我将进城。 如果天不下雪而我又有时间的话,我将进城。解: pq rq prq 3.设 p、 q、 r 所表示的命题与上题相同,试把下列公式译成自然语言。 rq (rq) q (r p) (qr)( rq) 解: 我有时间并且我将进城。 我没有时间并且我也没有进城。 我进城,当且仅当我有时间并且天不下雪。 如果我有时间,那么我将进城,反之亦然。4. 试把原子命题表示为 p、 q、 r 等,将下列命题符号化。 或者你没有给我写信,或者它在途中丢失了。 如果张三和李四都不去,他就去。 我们不能既划船又跑步。第 1 章 习题解

7、答4 如果你来了,那末他唱不唱歌将看你是否伴奏而定。解: p:你给我写信;q:信在途中丢失;原命题符号化为:(p q)(pq)。 p:张三去;q:李四去;r:他去;原命题符号化为: pqr。 p:我们划船;q:我们跑步;原命题符号化为:(pq) 。 p:你来了;q:他唱歌;r:你伴奏;原命题符号化为:p(qr) 。5. 用符号形式写出下列命题。假如上午不下雨,我去看电影,否则就在家里读书或看报。我今天进城,除非下雨。仅当你走,我将留下。解: p:上午下雨;q:我去看电影;r:我在家读书;s : 我在家看报;原命题符号化为:(pq)(prs) 。 p:我今天进城;q:天下雨;原命题符号化为:qp

8、。 p:你走;q:我留下;原命题符号化为:qp。第 1 章 习题解答5习题 1.31.设 A、B 、C 是任意命题公式,证明:AA若 AB,则 BA若 AB,BC,则 AC证明:由双条件的定义可知 AA 是一个永真式,由等价式的定义可知 AA 成立。因为 AB,由等价的定义可知 AB 是一个永真式,再由双条件的定义可知BA 也是一个永真式,所以, BA 成立。对 A、B 、C 的任一赋值,因为 AB,则 AB 是永真式, 即 A 与 B 具有相同的真值,又因为 BC,则 BC 是永真式, 即 B 与 C 也具有相同的真值,所以 A 与 C 也具有相同的真值;即 AC 成立。2.设 A、B 、C

9、 是任意命题公式,若 ACBC, AB 一定成立吗?若 ACBC, AB 一定成立吗?若A B,AB 一定成立吗?解:不一定有 AB。若 A 为真,B 为假,C 为真,则 ACBC 成立,但AB 不成立。不一定有 AB。若 A 为真, B 为假,C 为假,则 A CBC 成立,但 AB 不成立。一定有 AB。3.构造下列命题公式的真值表,并求成真赋值和成假赋值。 q(pq)p p(qr) (pq)(q p) (p q) (rq)r (p(p q)r)(qr)解: q(pq)p 的真值表如表 1.24 所示。表 1.24p q pq q(pq) q(pq)p第 1 章 习题解答60 0 1 0

10、10 1 1 1 01 0 0 0 11 1 1 1 1使得公式 q(pq)p 成真的赋值是:00,10,11,使得公式 q(pq)p 成假的赋值是:01。 p(qr) 的真值表如表 1.25 所示。表 1.25p q r qr p (qr)0 0 0 0 10 0 1 1 10 1 0 1 10 1 1 1 11 0 0 0 01 0 1 1 11 1 0 1 11 1 1 1 1使得公式 p(qr)成真的赋值是:000,001,010,011, 101,110,111,使得公式p( q r)成假的赋值是:100。 (pq)(q p) 的真值表如表 1.26 所示。表 1.26p q pq

11、qp (pq)( qp)0 0 0 0 10 1 1 1 11 0 1 1 11 1 1 1 1所有的赋值均使得公式(pq )( qp)成真,即(pq)( qp)是一个永真式。 (p q) (rq)r 的真值表如表 1.27 所示。表 1.27p q r q pq rq (pq)( rq) (pq)( rq)r0 0 0 1 0 0 0 10 0 1 1 0 0 0 1第 1 章 习题解答70 1 0 0 0 0 0 10 1 1 0 0 1 1 11 0 0 1 1 0 1 01 0 1 1 1 0 1 11 1 0 0 0 0 0 11 1 1 0 0 1 1 1使得公式(pq) (rq)

12、r 成真的赋值是:000,001,010,011,101,110,111,使得公式(pq) ( rq) r 成假的赋值是:100。(p( pq)r)( q r) 的真值表如表 1.28 所示。使得公式(p(pq)r)( qr)成真的赋值是:000,001,010,011,101,110,111,使得公式(p( pq)r)( q r)成假的赋值是:100。 4.用真值表证明下列等价式:(p q)pq证明:证明( pq) pq 的真值表如表 1.29 所示。表 1.29p q pq (pq) q pq0 0 1 0 1 00 1 1 0 0 01 0 0 1 1 11 1 1 0 0 0由上表可见

13、:(pq) 和 p q 的真值表完全相同,所以 (pq) pq 。pq q p 表 1.28p q r pq p(pq) (p(pq)r qr (p(pq)r)( qr)0 0 0 0 0 1 0 10 0 1 0 0 1 0 10 1 0 0 0 1 1 10 1 1 0 0 1 0 11 0 0 1 1 0 0 01 0 1 1 1 1 0 11 1 0 0 1 0 1 11 1 1 0 1 1 0 1第 1 章 习题解答8证明:证明 pqqp 的真值表如表 1.30 所示。表 1.30p q pq p q qp0 0 1 1 1 10 1 1 1 0 11 0 0 0 1 01 1 1

14、0 0 1由上表可见:pq 和qp 的真值表完全相同,所以 pqq p。(p q)pq证明:证明( pq) 和 pq 的真值表如表 1.31 所示。表 1.31p q pq (pq) q pq0 0 1 0 1 00 1 0 1 0 11 0 0 1 1 11 1 1 0 0 0由上表可见:(pq) 和 p q 的真值表完全相同,所以 (pq) pq。p(qr)( pq)r证明:证明 p(qr)和(pq) r 的真值表如表 1.32 所示。表 1.32p q r qr p (qr) pq (pq) r0 0 0 1 1 0 10 0 1 1 1 0 10 1 0 0 1 0 10 1 1 1

15、1 0 11 0 0 1 1 0 11 0 1 1 1 0 11 1 0 0 0 1 01 1 1 1 1 1 1由上表可见:p(qr)和(pq) r 的真值表完全相同,所以 p(qr) (pq) r。p(qp) p(pq)证明:证明 p(qp)和 p(pq)的真值表如表 1.33 所示。表 1.33第 1 章 习题解答9p q qp p(qp) p q pq p(pq)0 0 1 1 1 1 1 10 1 0 1 1 0 1 11 0 1 1 0 1 1 11 1 1 1 0 0 0 1由上表可见:p(qp)和 p(pq)的真值表完全相同,且都是永真式,所以p( q p)p(pq)。(p q

16、)(pq)(pq)证明:证明( pq) 和(pq) (pq)的真值表如表 1.34 所示。表 1.34p q pq (pq) pq pq (pq) (pq)(pq)0 0 1 0 0 0 1 00 1 0 1 1 0 1 11 0 0 1 1 0 1 11 1 1 0 1 1 0 0由上表可见:(pq) 和(pq) (pq)的真值表完全相同,所以 (pq)( pq) (p q)(p q)(pq)( pq) 证明:证明( pq) 和(pq)( pq)的真值表如表 1.35 所示。表 1.35p q pq (pq) pq pq (pq)( p q)0 0 1 0 0 0 00 1 0 1 0 1

17、11 0 0 1 1 0 11 1 1 0 0 0 0由上表可见:(pq) 和(pq)( pq)的真值表完全相同,所以(pq) (pq)( p q)。p(qr)( pq)r证明:证明 p(qr)和(pq) r 的真值表如表 1.36 所示。表 1.36p q r qr p (qr) q pq (pq) r0 0 0 0 1 1 0 1第 1 章 习题解答100 0 1 1 1 1 0 10 1 0 1 1 0 0 10 1 1 1 1 0 0 11 0 0 0 0 1 1 01 0 1 1 1 1 1 11 1 0 1 1 0 0 11 1 1 1 1 0 0 1由上表可见:p(qr)和(pq

18、) r 的真值表完全相同,所以 p(qr) (p q)r 。5. 用等价演算证明习题 4 中的等价式。(p q)(pq) (条件等价式)pq (德摩根律)qpq p (条件等价式)qp (双重否定律)p q (交换律) pq (条件等价式)(p q)(pq)( qp) (双条件等价式)(pq)(qp) (条件等价式)(pq) (qp) (德摩根律)(pq)q)( pq)p) (分配律)(pq)( qp) (分配律)(pq) (qp) (交换律)(pq) (qp) (条件等价式)pq (双条件等价式)p(qr)p (qr) (条件等价式)(pq) r (结合律)(pq) r (德摩根律)(pq)

19、r (条件等价式)p(qp)p (qp ) (条件等价式)Tp(p q)p(pq ) (条件等价式)T第 1 章 习题解答11所以 p(qp) p(pq)(p q)(pq)( pq) (例 1.17)(pq)( pq) (德摩根律)(pq) (pq) (德摩根律)所以(p q)(pq)(pq)(p q)(pq)( qp) (双条件等价式)(pq)(qp) (条件等价式)(pq) (pq) (德摩根律)p(qr)p (qr) (条件等价式)(pq) r (结合律)(pq) r (德摩根律)(pq) r (条件等价式)6.试用真值表证明下列命题定律。结合律:(pq)rp( qr),( pq)rp(

20、 qr)证明:证明结合律的真值表如表 1.37 和表 1.38 所示。表 1.37p q r pq (pq) r qr p (qr)0 0 0 0 0 0 00 0 1 0 1 1 10 1 0 1 1 1 10 1 1 1 1 1 11 0 0 1 1 0 11 0 1 1 1 1 11 1 0 1 1 1 11 1 1 1 1 1 1表 1.38p q r pq (pq) r qr p (qr)0 0 0 0 0 0 00 0 1 0 0 0 00 1 0 0 0 0 00 1 1 0 0 1 01 0 0 0 0 0 01 0 1 0 0 0 0第 1 章 习题解答121 1 0 1 0

21、 0 01 1 1 1 1 1 1由真值表可知结合律成立。分配律:p(qr)( pq)(pr ),p(qr) (p q)(pr)证明:证明合取对析取的分配律的真值表如表 1.39 所示,析取对合取的的分配律的真值表如表 1.40 所示。表 1.39p q r qr p (qr) pq pr (pq)( pr)0 0 0 0 0 0 0 00 0 1 1 0 0 0 00 1 0 1 0 0 0 00 1 1 1 0 0 0 01 0 0 0 0 0 0 01 0 1 1 1 0 1 11 1 0 1 1 1 0 11 1 1 1 1 1 1 1表 1.40p q r qr p (qr) pq

22、pr (pq)( pr)0 0 0 0 0 0 0 00 0 1 0 0 0 1 00 1 0 0 0 1 0 00 1 1 1 1 1 1 11 0 0 0 1 1 1 11 0 1 0 1 1 1 11 1 0 0 1 1 1 11 1 1 1 1 1 1 1由真值表可知分配律成立。假言易位式:pqqp证明:证明假言易位式的真值表如表 1.41 所示。表 1.41第 1 章 习题解答13p q pq q p qp0 0 1 1 1 10 1 1 0 1 11 0 0 1 0 01 1 1 0 0 1由真值表可知假言易位律成立。双条件否定等价式:pqpq证明:证明双条件否定的真值表如表 1.

23、42 所示。表 1.42p q pq p q pq0 0 1 1 1 10 1 0 1 0 01 0 0 0 1 01 1 1 0 0 1由真值表可知双条件否定等价式成立。第 1 章 习题解答14习题 1.4 1.用真值表或等价演算判断下列命题公式的类型。(pq)q(pq) q (条件等价式)(pq) q (德摩根律)q (可满足式) (吸收律)(p q)q(pq) q (条件等价式)(pq) q (德摩根律)F(永假式) (结合律、矛盾律)(pq) pq(pq) pq (条件等价式)(pp) (qp)q (分配律)(qp)q (同一律、矛盾律)(qp) q (条件等价式)(qp) q (德摩

24、根律)T(永真式) (零律、排中律)(pq) q(pq) q (条件等价式)q(可满足式) (吸收律)(pq) (qp)(pq)( pq) (假言易位式)T(永真式)(pq)( qr) (pr)(pq)(qr) (pr) (条件等价式)(pq) (qr)(p r) (德摩根律)(pq) ( pqr)( prr) (分配律)(pq) (pqr) (同一律、排中律、零律)第 1 章 习题解答15(pqrp) (pqrq) (分配律)T(永真式)p( pq) p(pq) (条件等价式)T(永真式)p(pqr)p (pq r) (条件等价式)T(永真式)2.用真值表证明下列命题公式是重言式。(p(pq

25、)q(p(pq)q 的真值表如表 1.43 所示。由表 1.43 可以看出(p( pq)q 是重言式。表 1.43p q pq p(pq) (p(pq)q0 0 1 0 10 1 1 0 11 0 0 0 11 1 1 1 1(q (p q)p(q(pq)p 的真值表如表 1.44 所示。由表 1.44 可以看出(q(pq) p 是重言式。表 1.44p q pq q q(p q) p (q(p q) p0 0 1 1 1 1 10 1 1 0 0 1 11 0 0 1 0 0 11 1 1 0 0 0 1(p (pq)q(p(pq)q 的真值表如表 1.45 所示。由表 1.45 可以看出(

26、 p( pq)q 是重言式。表 1.45p q pq p p(pq) (p(pq) q0 0 0 1 0 10 1 1 1 1 1第 1 章 习题解答161 0 1 0 0 11 1 1 0 0 1(pq)( qr) (pr)(pq) (qr) (pr)的真值表如表 1.46 所示。由表 1.46 可以看出(pq) (qr)(pr) 是重言式。表 1.46p q r pq qr (p q)( qr ) pr (pq )(qr)( pr)0 0 0 1 1 1 1 10 0 1 1 1 1 1 10 1 0 1 0 0 1 10 1 1 1 1 1 1 11 0 0 0 1 0 0 11 0 1

27、 0 1 0 1 11 1 0 1 0 0 0 11 1 1 1 1 1 1 1(pq)( pr)(qr) r(pq) (pr)(qr) r 的真值表如表 1.47 所示。由表 1.47 可以看出(pq)(pr) ( q r)r 是重言式。表 1.47p q r pq pr qr (pq)(pr)(qr) (pq)(pr)( qr )r0 0 0 0 1 1 0 10 0 1 0 1 1 0 10 1 0 1 1 0 0 10 1 1 1 1 1 1 11 0 0 1 0 1 0 11 0 1 1 1 1 1 11 1 0 1 0 0 0 11 1 1 1 1 1 1 1第 1 章 习题解答1

28、7(pq)( rs) ( pr )( qs)(pq) (rs )( pr )(qs)的真值表如表 1.48 所示。由表 1.48 可以看出(pq)(r s )(pr)(qs) 是重言式。表 1.48p q r s pq rs (pq)( rs) pr qs (pr)(qs) 原公式0 0 0 0 1 1 1 0 0 1 10 0 0 1 1 1 1 0 0 1 10 0 1 0 1 0 0 0 0 1 10 0 1 1 1 1 1 0 0 1 10 1 0 0 1 1 1 0 0 1 10 1 0 1 1 1 1 0 1 1 10 1 1 0 1 0 0 0 0 1 10 1 1 1 1 1

29、1 0 1 1 11 0 0 0 0 1 0 0 0 1 11 0 0 1 0 1 0 0 0 1 11 0 1 0 0 0 0 1 0 0 11 0 1 1 0 1 0 1 0 0 11 1 0 0 1 1 1 0 0 1 11 1 0 1 1 1 1 0 1 1 11 1 1 0 1 0 0 1 0 0 11 1 1 1 1 1 1 1 1 1 1(pq)( qr) (pr)(pq) (qr) (pr)的真值表如表 1.49 所示。由表 1.49 可以看出(pq) (qr)(pr) 是重言式。表 1.49p q r pq qr (p q)( qr ) pr (pq )(qr)( pr)第

30、1 章 习题解答180 0 0 1 1 1 1 10 0 1 1 0 0 0 10 1 0 0 0 0 1 10 1 1 0 1 0 0 11 0 0 0 1 0 0 11 0 1 0 0 0 1 11 1 0 1 0 0 0 11 1 1 1 1 1 1 13. 用等价演算证明题 2 中的命题公式是重言式。(p(pq)q(p( pq) q(p( pq) q(pp)( pq) q(pq) qT( q (p q)p(q( pq) p(q( pq) p(q(p q)p(p q)(pq)(p q)(pq)T(p (p q) q(p q) q(p q) qp q qT(pq)( qr) (pr)(pq

31、)(qr) (pr)(pq) (qr)(p r)(pq) ( pqr)( prr)(pq) (pqr)(pqrp) (pqrq)T(pq)( pr)(qr) r(pq)( pr)( qr) r(pq)( (pq) r) r(pq)r)r第 1 章 习题解答19(pq)r)r(pq) rrT(pq)( rs) ( pr )( qs)(pq)(rs) (pr )(qs)(pq)( rs)(pr)( qs)(pq)( rs)(prq)( prs)(pq)( rs)(p rq) (pq)( rs)( prs)(rs)(prqp) (prqq)(r s)(prs p)( prsq)(rs)T)(rs)(

32、pqrs)(rs )(pqrs)(pqrs r)( pqrss)T(pq)( qr) (pr)(pq)( qp) (qr) (rq)( pr)(pq)(qp) (qr) (rq)( pr)(p r)(pq) (pr)(rq)(qr) (qp)( pr)(p(qr) ( qr)(rq) (qp) (pr)(qr)(qr)(p (qr)(rq)( qp)(p r)(T(p (qr )(rq)( qp)(pr)p(qr)(rq)(qp) (pr)p(qr)( qp)( pr)( rq)p(qr)( p(qr)(qr )p(qr)p(qr)T4.证明下列等价式:(pr)(qr)(pr)( qr)(pq

33、) r(pq) r(pq)r(pq) (pq)(pq) (pq)p (qq )p Fpp(pq)p(pq)第 1 章 习题解答20(pp) (pq)F(pq)pq习题 1.5 1.求下列命题公式的析取范式。(pq)r(pq) rp qr(p q)r(pq) r(pq) rp qrp(pq) p(pq)(pp) (pq) pq(pq) (qr )(pq) (qr) q(pr)(p q)(rt)(pq) (rt)(pqr) (pqt)2. 求下列命题公式的合取范式。(p q)(pq)pqq( pq r)(qp) (qq)( qr)(qp) (qr)(p q)(pq)(pq)p)( pq)q)第 1

34、 章 习题解答21(pp) (qp)(pq) (qq)(pq)( pq)(p q)(pq)( pq)(pq) (pq)(p q)r(pq) r(pq) rp qr3.求下列命题公式的主析取范式,并求命题公式的成真赋值。(pq) (pr )作(pq) (pr )的真值表,如表 1.50 所示。表 1.50p q r pq pr (pq)( pr)0 0 0 0 0 00 0 1 0 0 00 1 0 0 0 00 1 1 0 0 01 0 0 0 0 01 0 1 0 1 11 1 0 1 0 11 1 1 1 1 1由真值表可知,原式(pqr)( pqr)(pqr)(主析取范式) 5,6,7使

35、得命题公式(pq)( pr )成真的赋值是:101,110,111。(p q)(pr)(pq) (pr)(pq)( pr)(pqp) (pqr)pqr(pqr) (pqr )(pqr) (pqr)(pq r)(pqr )(pqr)(主析取范式)1,2,3,4,5,6,7使得命题公式(pq) (pr) 成真的赋值是:001,010、011,100,101,110,111。(p q)(pq)作(p q)(pq)的真值表,如表 1.51 所示。第 1 章 习题解答22表 1.51p q p q pq pq (pq)(pq)0 0 1 1 1 0 00 1 1 0 1 1 11 0 0 1 1 1 1

36、1 1 0 0 0 0 1由真值表可知:原式(pq)(pq)(pq) (主析取范式) 1,2,3使得命题公式(pq) (pq)成真的赋值是:01,10,11。(p q)(pq)(pq) (pq)(pq) (pq)(pq) (pq)(pqp )(pqq)pq(pq) (pq)( pq)(主析取范式)0,2,3使得命题公式(pq) (pq)成真的赋值是:00,10,11。(p(qr )(p(qr)(p( qr )(p( qr)(pq) (pr)(pq) (pr)(pqr)(pqr)(pqr) (pqr)(p qr) (pq r)( pqr) (pqr)(pqr)(pqr)(pqr) (pqr)(p

37、q r)(pq r)(pqr)(pqr)(主析取范式)使得命题公式(p(qr)(p( qr)成真的赋值是:000,111。4. 求下列命题公式的主合取范式,并求命题公式的成假赋值。(pq) r(pq) r(pqr)(pqr)(pr) (pr)(pqr)(pqr)(pqr) (pqr)(pqr)( p qr)(pqr)(pqr)(pqr) (pqr) (pqr)0,2,4,5,6使得命题公式(pq)r 成假的赋值是:000,010,100,101,110 。(p q)(pq)作(p q)(pq)的真值表,如表 1.52 所示。表 1.52第 1 章 习题解答23p q pq (pq) q pq

38、(pq)( pq)0 0 1 0 1 1 00 1 1 0 0 1 01 0 0 1 1 1 11 1 1 0 0 0 1由真值表可知:原式(pq)(pq)0,1使得命题公式(pq) (pq)成假的赋值是:00,01。(p q)(pr)(pq) (pr)(pq)( pr)(pqp) (pqr)pqr0使得命题公式(pq) (pr) 成假的赋值是:000。(p q)p(pq) ppq pF0,1,2,3使得命题公式(pq) p 成假的赋值是:00,01,10,11。(p(qr )rp qr rp qr4使得命题公式(p(qr)r 成假的赋值是:100。5. 求下列命题公式的主析取范式,再用主析取

39、范式求出主合取范式。(pq) (qr )(pq) (qr)(pq)q)( pq)r)(pq) (pr)(q r)(pqr) (pq r)(pqr) (pq r)(pqr )(pqr)(pqr) (pq r)(pqr) (pqr)(主析取范式)0,1,3,72,4,5,6(pqr)(pqr)(pqr) (pqr)(主合取范式)( pq) r(pq)r第 1 章 习题解答24(pqr) (pqr)(pr )(pr)(pqr) (pqr)(pqr )(pqr) (pqr) ( pqr)(pqr) (pqr)(pqr )(pqr) (p qr)( 主析取范式)1,3,5,6,70,2,4(pqr) (

40、pqr)(pqr )(主合取范式)6. 求下列命题公式的主合取范式,再用主合取范式求出主析取范式。(pq) r(pq)( qp)r(pq) (qp)r(pqr)(pqr)(qpr) (qpr)( pr) (pr)(pqr)(pqr)(pqr) (pqr)( pqr) (pqr )( pqr )(pqr)(pqr)(pqr)(pqr) (pqr)(pqr )( pqr )(主合取范式)0,2,3,4,5,61,7 (pqr )(pqr)( 主析取范式)(pq) q(pq) qp qqT(无主合取范式)0,1,2,3 (pq)(pq)( pq)(pq)7.用主析取范式判断下列命题公式是否等价。p(qr)和 q(pr)p(qr) p(

展开阅读全文
相关资源
猜你喜欢
相关搜索
资源标签

当前位置:首页 > 企业管理 > 管理学资料

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:道客多多官方知乎号:道客多多

经营许可证编号: 粤ICP备2021046453号世界地图

道客多多©版权所有2020-2025营业执照举报