回顾：命题表达式的主析取范式 。求(p→)分r的主析取范式 (pAr)v(MAr)V(PA-qN-T)(析取范式) PΛr←→PΛ(qVq)Λr →(pΛq∧r)V(pΛqΛ) 9∧→(p∧IAr)V(pΛ4Ar) 。(PAqA)V(-p∧qΛ)V(PAqA)Y (pAgn-T) ●(P∧qΛ)V(P∧qΛ)V(PAqA)VpΛq∧) 001 011 100 111 5回顾：命题表达式的主析取范式  求 (pq)  r 的主析取范式  (¬p r)  (q r)  (p¬q¬r ) （析取范式）  (¬p ¬q  r)  (¬p  q  r)  (p  q  r)  (p ¬q¬r )  (¬p ¬q  r)  (¬p  q  r)  (p¬q¬r)  (p  q  r)  001 011 100 111 ¬p  r  ¬p  (¬q  q)  r  (¬p  ¬q  r )  (¬p  q  r ) q  r  ( p  q  r )  (¬p  q  r ) 5