离散数学_第二篇_数理逻辑_第3章_命题逻辑.pptVIP

* 例3.5.2（续） =(P∨Q∨(R∧?R))∧(P∨(Q∧?Q)∨R)∧ ((P∧?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) ∧(P∨?Q∨R)∧(?P∨?Q∨R) ——主合取范式 * 需要说明 求任何一个公式的主析取范式和主合取范式不仅要取决于该公式，而且取决于该公式所包含的命题变元。 如公式： G1 = (P→Q)∧Q， G2(P, Q, R) = (P→Q)∧Q。 前者是依赖于两个命题变元的，后者应依赖于三个命题变元。 * 如何用极小项来构成主析取范式？ P Q m0 m1 m2 m3 P-Q 备 注 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 m1必须包含在 主析取范式中 m0必须包含在 主析取范式中 m3必须包含在 主析取范式中 m2一定不能包含 在主析取范式中 主析取范式中必须且只能包含使得公式 真值为真的那些解释对应的极小项。 * 如何用极大项来构成主合取范式？ P Q M0 M1 M2 M3 P? Q 备 注 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 M1必须包含在 主合取范式中 M2必须包含在 主合取范式中 M0一定不能包含 在主合取范式中 M3一定不能包含 在主合取范式中 主合取范式中必须且只能包含使得公式 真值为假的那些解释对应的极大项。 * 真值表技术 （1）列出公式对应的真值表，选出公式的真值结果为真的所有的行，在这样的每一行中，找到其每一个解释所对应的极小项，将这些极小项进行析取即可得到相应的主析取范式。 （2）列出公式对应的真值表，选出公式的真值结果为假的所有的行，在这样的每一行中，找到其每一个解释所对应的极大项，将这些极大项进行合取即可得到相应的主合取范式。 * 例3.5.4 利用真值表技术求公式G = ┐(Ｐ→Ｑ)∨Ｒ的主析取范式和主合取范式。 P Q R P→Q ┐（P→Q） ┐(P→Q)∨R 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 * 例3.5.4（续） （1）求主析取范式 找出真值表中其真值为真的行： 2. 0 0 1； 4. 0 1 1； 5. 1 0 0； 6. 1 0 1； 8. 1 1 1。 这些行所对应的极小项分别为： ┐P∧┐Ｑ∧Ｒ， ┐P∧Ｑ∧Ｒ，P∧┐Ｑ∧┐Ｒ， P∧┐Ｑ∧Ｒ，P∧Ｑ∧Ｒ。 * 例3.5.4（续） 将这些极小项进行析取即为该公式G的主析取范式。 G = ┐(Ｐ→Ｑ)∨Ｒ = (┐P∧┐Ｑ∧Ｒ)∨(┐P∧Ｑ∧Ｒ)∨ (P∧┐Ｑ∧┐Ｒ)∨(P∧┐Ｑ∧Ｒ)∨(P∧Ｑ∧Ｒ) * 例3.5.4（续） （2）求主合取范式 找出真值表中其真值为假的行： 1．0 0 0； 3．0 1 0； 7．1 1 0。 这些行所对应的极大项分别为： P∨Ｑ∨Ｒ、P∨ ┐Ｑ∨Ｒ、 ┐Ｐ∨ ┐Ｑ∨Ｒ 将这些极大项进行合取即为该公式G的主合取范式： G = (Ｐ→Ｑ)∨Ｒ =(P∨Ｑ∨Ｒ)∧(P∨┐Ｑ∨Ｒ)∧(┐Ｐ∨┐Ｑ∨Ｒ) * 4 主析取范式和主合取范式之间的转换 （1）已知公式G的主析取范式，求公式G的主合取范式 （a）求?G的主析取范式，即G的主析取范式中没有出现过的极小项的析取，若 为?Ｇ的主析取范式。其中，mji(i=1,2,…,2n-k)是mi(i=0,１,２,…,2n-1)中去掉mli(i=１,２,…,k)后剩下的极小项。 为Ｇ的主析取范式，则 * 主析取范式?主合取范式 （b）G=?(?G)即是G的主合取范式。即， ──为G 的主合取范式。 * 主合取范式?主析取范式 （1）已知公式G的主合取范式，求公式G的主析取范式 （a）求?G的主合取范式，即G的主合取范式中没有出现过的极大项的合取，若 为?Ｇ的主合取范式。其中，Mji(i=1,2,…,2n-k)是Mi(i=0,１,２,…,2n-1)中去掉Mli(i=１,２,…,k)后剩下的极大项。 为Ｇ的主合取范式，则 * 主合取范式?主析取范式 （2）已知公式G的主合取范式，求公式G的主析取范式 （a）