《离散数学考试试题(A、B卷及答案)19121.pdf》由会员分享，可在线阅读，更多相关《离散数学考试试题(A、B卷及答案)19121.pdf（4页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、精品文档.离散数学考试试题(A 卷及答案）一、证明题（10 分）1)(PQAC)(APQC)(A(PQ)C。PQ=(p-Q)合取（Q-p）证明:(PQAC)(APQC)(PQAC)(APQC)(PQA)(APQ)C反用分配律(PQA)(APQ)C(A(PQ)(PQ)C再反用分配律(A(PQ)C(A(PQ)C 2)(PQ)PQ。证明：(PQ)(PQ)(PQ)PQ。二、分别用真值表法和公式法求(P(QR)(P(QR)的主析取范式与主合取范式，并写出其相应的成真赋值和成假赋值（15 分）。主析取范式与析取范式的区别：主析取范式里每个括号里都必须有全部的变元。主析取范式可由 析取范式经等值演算法算得。
2、证明：公式法：因为(P(QR)(P(QR)(PQR)(P(QR)(QR)(PQR)(PQ)(PR)(QR)分配律(PQR)(PQQ)(PQR)(PRQ)(PRR)(PQR)(PQR)(PQR)4M5M6M使（非 P 析取 Q 析取 R）为 0 所赋真值，即 100，二进制为 4 0m1m2m3m7m 所以，公式(P(QR)(P(QR)为可满足式，其相应的成真赋值为 000、001、010、011、111：成假赋值为：100、101、110。精品文档.真值表法：P Q R QR P(QR)P(QR)(P(QR)(P(QR)0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1
3、 1 0 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 由真值表可知，公式(P(QR)(P(QR)为可满足式，其相应的成真赋值为 000、001、010、011、111：成假赋值为：100、101、110。三、推理证明题（10 分）1）PQ，QR，RSPS。证明：(1)P 附加前提(2)PQ P(3)Q T(1)(2)，I（析取三段论）(4)QR P(5)R T(3)(4)，I（析取三段论）(6)RS P(7)S T(5)(6)，I（假言推理）(8)PS CP 2)x(P(x)Q(y)R(x)，xP(
4、x)Q(y)x(P(x)R(x)证明（1）xP(x)(2)P(a)(3)x(P(x)Q(y)R(x)(4)P(a)Q(y)R(a)(5)Q(y)R(a)(6)Q(y)(7)R(a)(8)P(a)(9)P(a)R(a)精品文档.(10)x(P(x)R(x)(11)Q(y)x(P(x)R(x)五、已知 A、B、C 是三个集合，证明(AB)C(AC)(BC)（10 分）证明：因为 x(AB)Cx(AB)C x(AB)xC(xAxB)xC(xAxC)(xBxC)x(AC)x(BC)x(AC)(BC)所以，(AB)C(AC)(BC)。八、证明整数集 I 上的模 m 同余关系 R=|xy(mod m)是等
5、价关系。其中，xy(mod m)的含义是 x-y 可以被 m 整除（15 分）。X(modm)=y(modm)证明：1）xI，因为（x-x）/m=0，所以 xx(mod m)，即 xRx。2）x,yI，若 xRy，则 xy(mod m)，即（x-y）/m=kI，所以（y-x）/m=-kI，所以 yx(mod m)，即 yRx。3）x,y,zI，若 xRy，yRz，则（x-y）/m=uI，（y-z）/m=vI，于是（x-z）/m=（x-y+y-z）/m=u+v I，因此 xRz。九、若 f:AB 和 g:BC 是双射，则（gf）-1=f-1g-1（10 分）。证明：因为 f、g 是双射，所以 g
6、f：AC 是双射，所以 gf 有逆函数（gf）-1：CA。同理可推 f-1g-1：CA 是双射。因为f-1g-1存在 z（g-1f-1）存在 z（fg）gf（gf）-1,所以（gf）-1=f-1g-1。离散数学考试试题(B 卷及答案）一、证明题（10 分）1)(PQ)(P(QR)(PQ)(PR)T 精品文档.证明:左端(PQ)(P(QR)(PQ)(PR)(摩根律)(PQ)(PQ)(PR)(PQ)(PR)(分配律)(PQ)(PR)(PQ)(PR)(等幂律)T(代入)2)xy(P(x)Q(y)(xP(x)yQ(y)证明：xy(P(x)Q(y)xy(P(x)Q(y)x(P(x)yQ(y)xP(x)y
7、Q(y)xP(x)yQ(y)(xP(x)yQ(y)二、求命题公式(PQ)(PQ)的主析取范式和主合取范式（10 分）解：(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PPQ)(QPQ)(PQ)M1 析取要使之为假，即赋真值 001，即 M1 m0m2m3 使之为真 三、推理证明题（10 分）1)(P(QS)(RP)QRS 证明：(1)R (2)RP p(3)P T（1）（2）析取三段论(4)P(QS)p(5)QS T（3）（4）I 假言推理(6)Q P(7)S T（5）（6）I 假言推理(8)RS CP 2)x(A(x)yB(y)，x(B(x)yC(y)xA(x)yC(y)。证明：(1)x(A(x)yB(y)P