离散数学屈婉玲版课后题答案.pdf

1.14． 将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2)老王是山东人或河北人. (3) 因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2 与 4 都是素数, 这是不对的. , (13)“2 或 4 是素数 这是不对的”是不对的. (1)p ∧q, 其中, p : 刘晓月跑得快, q: 刘晓月跳得高. (2)p ∨q, 其中, p : 老王是山东人, q: 老王是河北人. (3)p →q, 其中, p : 天气冷, q: 我穿了羽绒服. (4)p , 其中, p : 王欢与李乐组成一个小组, 是简单命题. (5)p , 其中, p : 李辛与李末是兄弟. (6)p ∧q, 其中, p : 王强学过法语, q: 刘威学过法语. (7)p ∧q, 其中, p : 他吃饭, q: 他听音乐. (8)p →q, 其中, p : 天下大雨, q: 他乘班车上班. (9)p →q, 其中, p : 他乘班车上班, q: 天下大雨. (10)p →q, 其中, p : 他乘班车上班, q: 天下大雨. (11)p →q, 其中, p : 下雪路滑, q: 他迟到了. (12) ¬ (p ∧q)或¬p ∨¬q, 其中, p : 2 是素数, q: 4 是素数. (13) ¬¬ (p ∨q)或p ∨q, 其中, p : 2 是素数, q: 4 是素数. 1.19． 用真值表判断下列公式的类型: (1)p → (p ∨q∨r) (2)(p →¬q) →¬q (3) ¬ (q→r) ∧r (4)(p →q) → (¬q→¬p ) (5)(p ∧r) ↔ ( ¬p ∧¬q) (6)((p →q) ∧ (q→r)) → (p →r) (7)(p →q) ↔ (r↔s) (1), (4), (6)为重言式. (3)为矛盾式. (2), (5), (7)为可满足式. 2.4. 用等值演算法证明下面等值式: (1) p ⇔ (p ∧q) ∨ (p ∧¬q) (3) ¬ (p ↔q) ⇔ (p ∨q) ∧¬ (p ∧q) (4) (p ∧¬q) ∨ (¬p ∧q) ⇔ (p ∨q) ∧¬ (p ∧q) (1) (p ∧q) ∨ (p ∧¬q) ⇔ p ∧ (q¬∨q) ⇔ p ∧ 1 ⇔ p . (3) ¬ (p ↔q) ⇔¬ ((p →q) ∧ (q→p )) ⇔¬ ((¬p ∨q) ∧ (¬q∨p )) ⇔ (p ∧¬q) ∨ (q∧¬p ) ⇔ (p ∨q) ∧ (p ∨¬p ) ∧ (¬q∨q) ∧ (¬p ∨¬q) ⇔ (p ∨q) ∧¬ (p ∧q) 离散数学习题解 4 (4) (p ∧¬q) ∨ (¬p ∧q) ⇔ (p ∨¬p ) ∧ (p ∨q) ∧ (¬q∨¬p ) ∧ (¬q∨q) ⇔ (p ∨q) ∧¬ (p ∧q) 2.7. 求下列公式的主析取范式, 再用主析取范式求合取范式: (1)(p ∧q) ∨r (2)(p →q) ∧ (q→r) (1)m ∨m ∨m ∨m ∨m ⇔M ∧M ∧M 1