离散数学及其应用-傅彦-第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