《离散数学》作业参考答案

《《离散数学》作业参考答案》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、《离散数学》作业参考答案一、选择或填空：1．BCD2．A，FB，FC，FD，T3．2n-24．IA5．单位元，16．A7．AD8．(1)PQ(2)PQ9．偶数10．自反性、对称性和传递性11．1，单位元，012．所有边一次且恰好一次13．BCDEF14．BD15．5,1016．D17．B18．D19．A20．（1）RR={〈1，1〉，〈1，3〉，〈2，2〉，〈2，4〉}（2）Ｒ-1＝｛〈1，2〉，〈2，1〉，〈3，2〉，〈4，3〉｝21．m=n-122．9,323．A24．D25(1)26(2)27(3)28(1)29

2、(1)30(3)31(2)32(3)33(2)34(4)第11页共11页以上仅为参考答案，简答、论述题均只列及主要的解题知识点，请您结合自我理解和课本内容进行知识掌握和巩固。如对答案等有疑义，请及时登录学院网站“辅导论坛”栏目，与老师交流探讨！35(2)36(1)二、求下列各公式的主析取范式和主合取范式解：1．PQ（主合取范式）（P(QQ)）（(PP)Q）(PQ)（PQ）（PQ）（PQ）(PQ)（PQ）（PQ）（主析取范式）2．Q→(PR)QPR（主合取范式）（Q→(PR)）（PQR）（PQR）（PQR）（PQR）（P

3、QR）（PQR）（PQR）（原公式否定的主合取范式）Q→(PR)（PQR）（PQR）（PQR）（PQR）（PQR）（PQR）（PQR）（主析取范式）3．P→QPQ（主合取范式）(P(QQ))((PP)Q)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)（主析取范式）4．(P→Q)(RP)(PQ)(RP)(PQ)(RP)（析取范式）(PQ(RR))(P(QQ)R)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)（主析取范式）((P→Q)(RP))(PQR)(PQR)(PQR)(PQR)(PQ

4、R)（原公式否定的主析取范式）(P→Q)(RP)(PQR)(PQR)(PQR)(PQR)(PQR)（主合取范式）5．PQ（主析取范式）(P(QQ))((PP)Q)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)（主合取范式）6Q→(PR)QPR（主合取范式）(Q→(PR))第11页共11页以上仅为参考答案，简答、论述题均只列及主要的解题知识点，请您结合自我理解和课本内容进行知识掌握和巩固。如对答案等有疑义，请及时登录学院网站“辅导论坛”栏目，与老师交流探讨！(PQR)(PQR)(PQR)(PQR)(PQR)(P

5、QR)(PQR）（原公式否定的主合取范式）Q→(PR)(PQR)(PQR)(PQR)(PQR)（PQR)(PQR)(PQR）（主析取范式）7(P→Q)(P→R)(PQ)(PR)(合取范式)(PQ(RR)(P(QQ)R)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(主合取范式)(P→Q)(P→R)(PQ)(PR)P(QR)(合取范式)(P(QQ)(RR))((PP)QR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(主析取范式)三

6、、证明1．PQ，P→R,Q→S=>RS证明：（1）R附加前提（2）P→R前提（3）P（1），（2）（4）PQ前提（5）Q（3），（4）（6）Q→S前提第11页共11页以上仅为参考答案，简答、论述题均只列及主要的解题知识点，请您结合自我理解和课本内容进行知识掌握和巩固。如对答案等有疑义，请及时登录学院网站“辅导论坛”栏目，与老师交流探讨！（7）S（5），（6）（8）RSCP，（1），（8）2．A→(CB)，B→A，D→C=>A→D证明：（1）A附加前提（2）A→(CB)前提（3）CB（1），（2）（4）B→A前提（5）B

7、（1），（4）（6）C（3），（5）（7）D→C前提（8）D（6），（7）（9）A→DCP，（1），（8）3．P→Q，QR，R，SP=>S证明：（1）R前提（2）QR前提（3）Q（1），（2）（4）P→Q前提（5）P（3），（4）（6）SP前提（7）S（5），（6）4．BD，(E→F)→D，E=>B证明：（1）B附加前提（2）BD前提（3）D（1），（2）（4）(E→F)→D前提（5）(E→F)（3），（4）（6）EF（5）（7）E（6）（8）E前提（9）EE（7），（8）5．A→(B→C)，C→(DE)，F→(DE)

8、,A=>B→F证明：（1）A前提（2）A→(B→C)前提（3）B→C（1），（2）第11页共11页以上仅为参考答案，简答、论述题均只列及主要的解题知识点，请您结合自我理解和课本内容进行知识掌握和巩固。如对答案等有疑义，请及时登录学院网站“辅导论坛”栏目，与老师交流探讨！（4）B附加前提（5）C（3），（4）（6）C→(DE)前提（