离散数学第2版作者尤枫第01章 命题逻辑课件.PPTVIP

A ? ~~A ? ~ (mj1 ∨ mj2 ∨… ∨mj2n-k) ? ~mj1 ∧ ~mj2 ∧ … ∧ ~mj2n-k ? Mj1 ∧ Mj2 ∧ … ∧ Mj2n-k 由A的主析取范式求主合取范式的步骤： (1)求出A的主析取范式中没有包含的极小项mj1,mj2,··· , mj2n-k； (2)求出与(1)中极小项下标相同的极大项Mj1,Mj2,··· , Mj2n-k； (3)由以上极大项构成的合取式为A的主合取范式。 1.6 命题范式 第1章 命题逻辑 例 已知A中含3个命题变元P, Q, R，且A的主析取范式为： A ? m000∨m001∨m101∨m111 ? m0∨m1∨m5∨m7 则A的主合取范式为： A ? M2∧M3∧M4∧M6 ? M010∧M011∧M100∧M110 ? (P∨~Q∨R)∧(P∨~Q∨~R) ∧(~P∨Q∨R)∧(~P∨~Q∨R) 1.6 命题范式 第1章 命题逻辑 主析(合取)范式的应用： 1.判断两命题公式是否等价； 2.判断命题公式的类型； 3.确定命题公式在何种真值指派下为假。 利用主析(合)取范式求解判定问题：