第2章命题逻辑等值演算汇编.ppt

* 练习5解答 解 1. 设简单命题并符号化 设 p: 派赵去，q: 派钱去，r: 派孙去，s: 派李去，u: 派周去 2. 写出复合命题 (1) 若赵去，钱也去 p?q (2) 李、周两人中至少有一人去 s?u (3) 钱、孙两人中去且仅去一人 (q??r)?(?q?r) (4) 孙、李两人同去或同不去 (r?s)?(?r??s) (5) 若周去，则赵、钱也去 u?(p?q) * 3. 设(1)—(5)构成的合取式为A A = (p?q)?(s?u)?((q??r)?(?q?r))? ((r?s)?(?r??s))?(u?(p?q)) 4. 化成析取式 A ? (?p??q?r?s??u)?(p?q??r??s?u) 结论：由上述析取式可知，A的成真赋值为00110与11001， 派孙、李去（赵、钱、周不去） 派赵、钱、周去（孙、李不去） 练习5解答 * 练习5解答 A ? (?p?q)?((q??r)?(?q?r))? (s?u)?(?u?(