离散数学练习题解析.docxVIP

 STYLEREF 标题 1 Error! No text of specified style in document. –  PAGE 17 – –  PAGE 1 – 1-1．都是命题： 1-2设 P：明天天气晴朗 Q：我们就去郊游 则 P ?Q：如果明天天气晴朗，我们就去郊游 1-3根据真值表求公式P ? (P∧(Q ?R ))的主析取范式。 解　 表1.15 例1.42真值表 PQRP ? (P∧(Q ?R))TTTTTTFFTFTTTFFTFTTTFTFTFFTTFFFT 则 P ? (P∧(Q ?R )) ? (﹁P∧Q∧R )∨(﹁P∧Q∧﹁R )∨(﹁P∧﹁Q∧R )∨(﹁P∧Q∧﹁R )∨(P∧﹁Q∧R )∨(P∧﹁Q∧﹁R )∨(P∧Q∧R ) ■ 由于任意一组命题变元P1, P2, …, Pn的真值指派和它的极小项之间是一一对应的，故可以对极小项进行编码。首先需要规定变元在极小项中的排列次序，假设为P1, P2, …, Pn，用m表示极小项，若Pi出现在极小项中，则编码的第i个位置上的值为1，否则为0。比如变元P, Q, R（规定次序为P, Q, R）的极小项P∧﹁Q∧﹁R的编码为100，将此极小项记为m100。若将编码看作是一个二进制数，又可将例中的极小项记为m4。用此方法，可以简写所求得的给定公式的主析取范式。 P ? (P∧(Q ?R )) ? m0∨m1∨m2∨m3∨m4∨m5∨m7（规定P, Q, R的次序为P, Q, R） 公式P ? (P∧(Q ?R ))的主析取范式。 解　P ? (P∧(Q ?R )) ?﹁P∨(P∧(﹁Q∨R )) ? (﹁P∨P)∧(﹁P∨﹁Q∨R) ? (﹁P∨﹁Q∨R ) ? (﹁P∨﹁Q∨R ) 1-4试证明(﹁P ? Q )∧(P ?R )∧(﹁Q∨S ) ? S∨R。 证明 （1）﹁P ?Q P （2）﹁Q∨S P （3）Q ?S T, (2), E16 （4）﹁P ?S T, (1), (3), I13 （5）﹁S ?P T, (4), E18 （6）P ?R P （7）﹁S ?R T, (5), (6), I13 （8）﹁﹁S∨R T, (7), E16 图1.1 例1.51证明过程的树表示 （9）S∨R T, (8), E1 1-5如果迈克有电冰箱，则或者他卖了洗衣机，或者他向别人借了钱。迈克没有向别人借钱，所以如果迈克没有卖掉洗衣机，则他没有电冰箱。 解　设 P：迈克有电冰箱 Q：迈克卖了洗衣机 R：迈克向别人借了钱。 则上述语句可翻译为命题关系式 P ?Q∨R, ﹁R ??﹁Q ?﹁P （1）P ? Q∨R P （2）﹁P∨Q∨R T, (1), E16 （3）﹁ (﹁P∨Q ) ?R T, (2), E16 （4）﹁﹁P∧﹁Q ?R T, (3), E9 （5）P∧﹁Q ?R T, (4), E1 （6）﹁R ?﹁(P∧﹁Q ) T, (5), E18 （7）﹁R ?﹁P∨Q T, (6), E8 （8）﹁R P （9）﹁P∨Q T, (7), (8), I11 （10）P ?Q T, (9), E16 （11）﹁Q ?﹁P T, (10), E18 1-6如果今天我没课，则我去机房上机或去图书馆查资料；若机房没有空机器，则我没法去上机；今天我没课，机房也没有空机器，所以我去图书馆查资料。 解　设 P：今天我没课 Q：我去机房上机 R：我去图书馆查资料 S：机房没有空机器 则上述语句可翻译为命题关系式 P ?Q∨R, S ?﹁Q, P, S ? R （1）﹁R P （2）P ?Q∨R P （3）﹁P∨Q∨R T, (2), E16 （4）R∨﹁P∨Q T, (3), E3 （5）﹁R ?﹁P∨Q T, (4), E16 （6）﹁P∨Q T, (1), (5), I11 （7）P ?Q T, (6), E16 （8）S ?﹁Q P （9）﹁﹁Q ?﹁S T, (8), E18 （10）Q ?﹁S T, (9), E1 （11）P ?﹁S T, (7), (11), I13 （12）P P （13）﹁S T, (11), (12), I11 （14）S P （15）F (13), (14) 1-7北京、上海、天津、广州四市乒乓球队比赛，三个观众猜测比赛结果。 甲说：“天津第一，上海第二。” 乙说：“天津第二，广州第三。” 丙说：“北京第二，广州第四。” 比赛结果显示，每人猜对了一半，并且没有并列名次。问：实际名次怎样排列？ 解　设 P2：北京第二 Q2：上海第二 R1：天津第一 R2：天津第二 S3：广州第三 S4：广州第四