《离散数学课件》命题逻辑2.pptVIP

例 (续) B2= (s?u)?(?u?(p?q)) ? (s??u)?(p?q?s)?(p?q?u) （分配律） B1 ? (?p?q??r)?(?p??q?r)?(q??r) B1?B2 ? (?p?q??r?s??u)?(?p??q?r?s??u) ?(q??r?s??u)?(p?q??r?s)?(p?q??r?u) 再令 B3 = ((r?s)?(?r??s)) 得 A ? B1?B2?B3 ? (?p??q?r?s??u)?(p?q??r??s?u) 结论：A的成真赋值为00110与11001， 因而派孙、李去（赵、钱、周不去）或派赵、钱、 周去（孙、李不去）. * */48 本堂课的内容、重点与难点 合(析)取式与成真(假)解释 求解范式、主范式 等价公式的熟练运用 等价变换法、解释法、真值表法的灵活运用 合取式、析取式 合取范式、析取范式 极小项、极大项 主合取范式、主析取范式 */48 作业02 1.8(1) 1.9(1) 补1. 试写出下列公式的主范式：?? (p→q)→r，p→(q→r)， (p∧q)→r 补2(选做). 设在一个合式公式中，命题变元出现的次数为M，二元联结词出现的次数是N，试证明：M=N+1。 (提示：可仿第9页的定理4的证明) */48 课堂练习 设A、