析取范式=pqrr.ppt

主合取范式是： S=(? P? ?Q) ?(P ? ?Q) =(?P?P) ??Q =?Q * (A?B?C)?P=T (A?B?C)?R=T * */48 求主析取范式的两种方法 (1)解释法: 根据公式的所有完全成真解释，求出与这些成真解释对应的合取式，所有合取式的析取就为公式的主析取范式。 (2)等价变换法: 将析取范式中的每一个合取式用A??A填满命题变元，然后用等价公式进行变换，消去相同部分，即得公式的主析取范式。 */48 例 求公式的主析取范式 ?(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 */48 解：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?100?110 =4?5?6 */48 (二) 主合取范式 定义7 对于n个命变元P1，P2，……，Pn，公式 Q1?Q2?……?Qn 称为极大项，其中Qi=Pi或?Pi(i=1，…，n)。 例 由两个命题变元P，Q组成的极大项有四个，它们分别为： ?P??Q ?P?Q P??Q P?Q */48 三个命题变元P、Q和R可构造8个极大项 把命题变元的否定形式看成1，肯定形式看成0，则每个极大项对应一个二进制数，也对应一个十进制数。它们对应如下： P?Q?R 与000 或0对应，简记为 M0 P?Q??R 与001 或1对应，简记为 M1 P??Q?R 与010 或2对应，简记为 M2 P??Q??R 与011 或3对应，简记为 M3 ?P?Q?R 与100 或4对应，简记为 M4 ?P?Q??R 与101 或5对应，简记为 M5 ?P??Q?R 与110 或6对应，简记为 M6 ?P??Q??R与111 或7对应，简记为 M7 */48 主合取范式 定义8 仅有极大项构成的合取范式称为主合取范式。 定理4 任何一个合式公式，均有惟一的一个主合取范式与该合式公式等价。 主合取范式就是 公式的所有完全成假解释对应的极大项的合取。 */48 求主合取范式的两种方法 (1)解释法 根据公式的所有完全成假解释，求出与这些成假解释对应的析取式，所有析取式的合取就为公式的主合取范式。 (2)等价变换法 将合取范式中的每一个析取式用A??A填满命题变元，然后用等价公式进行变换，消去相同部份，即得公式的主合取范式。 */48 例 求公式的主合取范式 ?(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) 合取范式 =(P?(Q??Q)?(R??R))?((?Q??R) ?(P??P)) =(P?Q?R)?(P?Q??R)? (P??Q?R