离散课后题答案 (2).docx

第一章 命题逻辑 习题1-7 (4)求下列各式的主析取范式及主合取范式，并指出下列各式哪些是重言式。 解： P∨(┐P→(Q∨(┐Q→R))) 解：P∨(┐P→(Q∨(┐Q→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)∧(┐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)(主析取范式) (7)A、B、C、D四个人中要派两个人出差，按下述三个条件有几种派发？如何派？ ①若A去则C和D中要去一个 ②B和C不能都去。 ③C去则D要留下 解：设A：A去出差。B：B去出差。C：C去出差。D：D去出差。 若A去则C和D中要去一个。 A→(C不可兼析取（V上加一横）D) B和C不能都去。 ┐(B∧C) C去则D要留下。 C→┐D 按题意应有：A→(C不可兼析取D)，┐(B∧C)，C→┐D必须同时成立。 因为C不可兼析取D (C∧┐D) ∨(D∧┐C) 故(A→(C不可兼析取D))∧┐(B∧C) ∧(C→┐D) = (┐A∨(C∧┐D) ∨(D∧┐C)) ∧┐(B∧C) ∧(┐C∨┐D) = (┐A∨(C∧┐D) ∨(D∧┐C)) ∧(┐B∨┐C) ∧(┐C∨┐D) = (┐A∨(C∧┐D) ∨(D∧┐C)) ∧((┐B∧┐C) ∨(┐B∧┐D) ∨(┐C∧┐D) ∨┐C) = (┐A∧┐B∧┐C) ∨(┐A∧┐B∧┐D) ∨(┐A∧┐C∧┐D) ∨(┐A∧┐C) ∨(┐B∧┐C∧D) ∨(┐C∧D∧┐B∧┐D) ∨(┐C∧D∧┐C∧┐D) ∨(┐C∧D∧┐C) ∨(┐D∧C∧┐B∧┐C) ∨(┐D∧C∧┐B∧┐D) ∨(┐D∧C∧┐C∧┐D) ∨(┐D∧C∧┐C) 在上述的析取范式中，有些（画线的）不符合题意，舍弃，得 (┐A∧┐C) ∨(┐B∧┐C∧D) ∨（┐C∧D）∨(┐D∧C∧┐B) 故分派的方法为：B∧D ,或 D∧A,或 C∧A。 (8) 三人估计比赛结果甲说A第一B第二乙说C第二D第四丙说A第二D第四结果三人估计的都不全对但都对了一个问各自名次 解：设P：A是第一。Q：B是第二。R：C是第二。S：D是第四。E：A是第二。 由题意得 (P不可兼析取Q) ∧(R不可兼析取S) ∧(E不可兼析取S) = ((P∧┐Q) ∨(┐P∧Q)) ∧((R∧┐S) ∨(┐R∧S)) ∧((E∧┐S) ∨(┐E∧S)) =((P∧┐Q∧R∧┐S) ∨(P∧┐Q∧┐R∧S) ∨(┐P∧Q∧R∧┐S) ∨(┐P∧Q∧┐R∧S))∧((E∧┐S)∨(┐E∧S)) 因为 (P∧┐Q∧┐R∧S)与(┐P∧Q∧R∧┐S)不合题意，所以原式可化为 ((P∧┐Q∧R∧┐S) ∨(┐P∧Q∧┐R∧S))∧((E∧┐S) ∨(┐E∧S)) =(P∧┐Q∧R∧┐S∧E∧┐S) ∨(P∧┐Q∧R∧┐S∧┐E∧S) ∨(┐P∧Q∧┐R∧S∧E∧┐S)∨(┐P∧Q∧┐R∧S∧┐E∧S) =(P∧┐Q∧R∧┐S∧E) ∨(┐P∧Q∧┐R∧S∧┐E) 因R与E矛盾，故┐P∧Q∧┐R∧S∧┐E为真， 即A不是第一，B是第二，C不是第二，D为第四，A不是第二。 于是得： A是第三 B是第二 C是第一 D是第四。 习题1-8 (1)用推理规则证明以下各式： b)J→(M∨N)，(H∨G)→J，H∨G=M∨N (1) (H∨G) →J P (2) (H∨G) P (3) J (1)(2)T,I (4) J→(M∨N) P (5) M∨N (3)(4)T,I 4)证明下列各式 c)┐(P→Q)→┐(R∨S)，((Q→P)∨┐R)，RPQ (1) R P (2) (Q→P) ∨┐R P (3) Q→P (1)(2)T,I (4)┐(P→Q) →┐(R∨S) P (5) (R∨S) →(P→Q) (4)T,E (6) R∨S (1)T,I (7) P→Q (5)(6) (8) (P→Q) ∧(Q→P) (3)(7)T,I (9