大学计算机基础课件 离散数学 II.pptVIP

* a)解：设P：他有理论知识；Q：他有实践经验。则命题转化为： P ∧ Q b)解：设P：明天下雨；Q：明天下雪；R：我去学校 则 i)： ?(P∧Q) →R ii)： ?P∧ ?Q →R iii)：P ∨Q → ? R iv)： P∧Q∧R∨?P∧Q∧R∨P∧?Q∧R∨? P∧?Q∧R v)： ? P∧?Q ? R * c)：说小学生编不了程序，或说小学生用不了个人计算机，那是不对的。 解：设P：小学生会编程序；Q：小学生会用个人计算机； 则? (? P ∨ ? Q) d)：若不是他生病了或出差了，我是不会同意他不参加学习 解：设P：他生病了；Q：他出差了；R：我们同意他不参加学习； 则?(P∨Q) ? ?R或?(P∨Q) ? ?R e)：如果我上街了，我就去书店看看，除非我很累 解：设P：我上街；Q：我去书店看看；R：我很累； 则：P →(?R →Q)或?R →(P →Q)或(?R ∧P) →Q * 解： (1).永真公式； (2).永真公式； (3). 可满足公式。 * 解：G(H, S) = ?(H→S)→H = ?((P ∧Q) →(P?Q))→(P∧Q) =G’(P, Q); 用真值表验证 ，先验证G(H, S)，再验证G’(P, Q)。 解：设P：开关P闭合，Q：开关Q闭合，S：开关S闭合，G：灯泡亮 则G=