离散数学屈婉玲第二版答案.docxVIP

离散数学屈婉玲第二版答案 【篇一：离散数学课后习题答案 _屈婉玲 (高等教育出版 社)】 txt16 设 p、q 的真值为 0；r、 s 的真值为 1，求下列各命题公式的 真值。 p V (q A r)? 0 V (0 A 1) ?0 ( p?r) A (「q V s) ? (0?1 ) A (1 V 1) ?0 A 1?0. ( ?p A ?q A r) ?(p A q A「r) ? (1 A 1 A 1) ? (0 A 0 A 0)?0 (4) (?r A s) — (p A ?q) ? (0 A 1) — (1 A 0) ?0 — 0?1 1 7 ．判断下面一段论述是否为真： “?是无理数。并且，如果 3 是无 理数，则 2 也是无理数。另外 6能被 2 整除，6 才能被 4整除。” 答：p: ?是无理数1 q: 3 是无理数 0 r: 2 是无理数 1 s: 6 能被 2 整除 1 t: 6 能被 4 整除 0 命题符号化为：p A (q — r) A (t — s的真值为1，所以这一段的论述 为真。 1 9 ．用真值表判断下列公式的类型： (p—q) —(?q—?p) (pAr) ?(?pA?q) ((p —q) A (q—r)) —(p—r) 答： ( 4 ) p q p —q ?q?p?q—?p (p —q)—(?q—?p) 0 01 111 1 0 11 011 1 1 00 100 1 1 11 001 1 所以公式类型为永真式 (5)公式类型为可满足式(方法如上例) ( 6)公式类型为永真式(方法如上例) 第二章部分课后习题参考答案 用等值演算法判断下列公式的类型，对不是重言式的可满足式， 再用真值表法求出成真赋值 . ?(p A q—q) (p —(pV q))V (p—r) (pVq)—(pAr) 答：(2) (p-(p V q)) V (p—r)?(?p V (p V q)) V (?p V r)??p V p V q V r?1 所以公式类型为 永真式 ⑶ p qr p V q p A r (p V q) — (p A r) 0 0000 1 0 0100 1 0 1010 0 0 1110 0 0 10 111 1 11 010 0 11 111 1 所以公式类型为可满足式 用等值演算法证明下面等值式： (p -q)A (p-r)?(p -(qA r)) (pA ?q) V(?pA q)?(p V q) A ?(pA q) 证明( 2)(p-q)A (p-r) ? (?p Vq)A (?pVr) ??p V (qA r)) ?p-(q A r) (4)(pA?q)V(?pAq)?(p V (?p A q)) A (?qV(?pA q) ?(pV?p)A (pVq)A(?qV?p) A(?qVq) ?1 A(pVq)A?(pA q)A1 ?(p V q)A ?(p A q) 求下列公式的主析取范式与主合取范式，并求成真赋值 (?p -q)-(?qVp) ?(p -q)A qA r (p V (qA r)) -(pV qV r) 解： ( 1 )主析取范式 (?p-q)-(?q?p) ??(p?q)?(?q?p) ?(?p??q)?(?q?p) ? (?p??q)?(?q?p)?(?q??p)?(p?q)?(p??q) ? (?p??q)?(p??q)?(p?q) ?m0?m2?m3 ?E (0,2,3) 主合取范式： (?p - q) f(?q?p) ??(p?q)?(?q?p) ?(?p??q)?(?q?p) ?(?p?(?q?p))?(?q?(?q?p)) ?1?(p??q) ?(p??q) ? m1 ?n(i) 主合取范式为： ?(p -q)?q?r??(?p?q)?q?r ?(p??q)?q?r?0 所以该式为矛盾式 . 主合取范式为 n (0,123,4,5,6,7) 矛盾式的主析取范式为 0 主合取范式为： (p?(q?r)) -(p?q?r) ??(p?(q?r)) -(p?q?r) ?(?p?(?q??r))?(p?q?r) ?(?p?(p?q?r))?((?q??r))?(p?q?r)) ?1?1 ?1 所以该式为永真式 . 永真式的主合取范式为 1 主析取范式为 刀(0,123,4,5,6,7) 第三章部分课后习题参考答案 14. 在自然推理系统 p 中构造下面推理的证明： 前提： p?q,?(q?r),r 结论： ?p 前提： q?p,q?s,s?t,t?r 结论： p?q 证明：( 2) ?(q?r)前提引入 ?q??r①置换 q??r②蕴含等值式 r前提引入 ?q③④拒取式 p?q前提引入 p (3)⑤⑥拒取式 证明( 4)： t?r前提引入 t①化简律 q?s 前提引