上堂课内容重点与难点.pptVIP

(A?B?C)?P=T (A?B?C)?R=T * 原公式的对立公式的成真解释 例 求公式的主析取范式 ?(P?Q)??((R??Q)??P) 解： 原式=?(?P?Q)??(?(?R??Q)??P) =(P??Q)?((?R??Q)?P) =(P??Q)?(P??R)?(P??Q) =(P??Q)?(P??R) 析取范式 =(P??Q?(R ??R))?(P ?(Q??Q)??R) = (P??Q?R) ?(P??Q? ?R)?(P ?Q??R) =101?100?110=4?5?6 解：P=T时, 原式=?(T?Q)∨?((R??Q)??T)=?Q∨?R P=F时, 原式=?(F?Q)∨?((R??Q)??F)=F 所以有: 成真解释为：(P,Q,R)=(T,F,T), (T,F,F), (T,T,F) 例 求公式的主析取范式 ?(P?Q)??((R??Q)??P) 于是主析取范式为: (P??Q?R)?(P? ?Q ??R)?(P ?Q ? ? R) =101?1