范式4学习课件.pptVIP

范式 福建师范大学数学与计算机科学学院 析取范式和合取范式 定义1.18 仅由有限个命题变项及其否定构成的析取式称作简单析取式。仅由有限个命题变项及其否定构成的合取式称作简单合取式。 简单析取式举例：p,┐q p∨┐p，┐p∨q ┐p∨┐q∨r,p∨┐q∨r 简单合取式举例：┐p,q ┐p∧p，p∧┐q p∧q∧┐r,┐p∧p∧q 析取范式和合取范式 为讨论方便，有时用A1,A2,…,As表示s个简单析取式或s个简单合取式。 设Ai是含n个文字的简单析取式，若Ai中既含某个命题变项pj，又含它的否定式┐pj， 即pj∨┐pj，则Ai为重言式。 反之，若Ai为重言式，则它必同时含某个命题变项和它的否定式，否则，若将Ai中的不带否定符号的命题变项都取0值，带否定号的命题变项都取1值，此赋值为Ai的成假赋值，这与Ai是重言式相矛盾。 类似的讨论可知，若Ai是含n个命题变项的简单合取式，且Ai为矛盾式，则Ai中必同时含某个命题变项及它的否定式，反之亦然。 定理 (P.15) (1)一个简单析取式是重言式当且仅当它同时含有某个命题变项及它的否定式。 (2)一个简单合取式是矛盾式当且仅当它同时含有某个命题变项及它的否定式。 定义1.19 (1)由有限个简单合取式构成的析取式称为析取范式。 (2)由有限个简单析取式构成的合取式称为合取范式。 (3)析取范式与合取范式统称为范式。 设Ai(i=1,2,…,s)为简单合取式，则A=A1∨A2∨…∨As为析取范式。例如，A1=p∧┐q，A2=┐q∧┐r，A3=p，则由A1,A2,A3构造的析取范式为A=A1∨A2∨A3=(p∧┐q)∨(┐q∧┐r)∨p 设Ai(i=1,2,…,s)为简单析取式，则A=A1∧A2∧…∧As为合取范式。例如，取A1=p∨q∨r，A2=┐p∨┐q，A3=r，则由A1,A2,A3组成的合取范式为A=A1∧A2∧A3=(p∨q∨r)∧(┐p∨┐q)∧r 定理 (P.16) (1)一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式。 (2)一个合取范式是重言式当且仅当它的每个简单析取式都是重言式。 范式存在的讨论 在范式中不会出现联结词→与?，否则可使用等值式消除A→B ? ┐A∨BA?B ? (┐A∨B)∧(A∨┐B) 在范式中不会出现形如┐┐A,┐(A∧B),┐(A∨B)的公式：┐┐A ? A┐(A∧B) ? ┐A∨┐B ┐(A∨B)?┐A∧┐B 在析取范式中不会出现形如A∧(B∨C)的公式：A∧(B∨C) ? (A∧B)∨(A∧C) 在合取范式中不出现形A∨(B∧C)的公式：A∨(B∧C) ? (A∨B)∧(A∨C) 定理1.4任一命题公式都存在着与之等值的析取范式与合取范式。 求给定公式范式的步骤 (1)消去联结词→、?(若存在)。A→B ? ┐A∨BA?B ? (┐A∨B)∧(A∨┐B) (2)否定号的消去(利用双重否定律)或内移(利用德摩根律)。┐┐A ? A┐(A∧B) ? ┐A∨┐B┐(A∨B)?┐A∧┐B (3)利用分配律：利用∧对∨的分配律求析取范式， ∨对∧的分配律求合取范式。A∧(B∨C) ? (A∧B)∨(A∧C)A∨(B∧C) ? (A∨B)∧(A∨C) 例 求下面公式的析取范式与合取范式： (p→q)? r 范式的规范化形式 定义1.20(1.22) 在含有n个命题变项的简单合取式（简单析取式）中，若每个命题变项和它的否定式不同时出现，而二者之一必出现且仅出现一次，且第i个命题变项或它的否定式出现在从左算起的第i位上（若命题变项无角标，就按字典顺序排列），称这样的简单合取式（简单析取式）为极小项（极大项）。 n个命题变项共可产生2n个不同的极小项。其中每个极小项都有且仅有一个成真赋值。若成真赋值所对应的二进制数转换为十进制数i，就将所对应极小项记作mi 。 类似地，n个命题变项共可产生2n个极大项，每个极大项只有一个成假赋值，将其对应的十进制数i做极大项的角标，记作Mi。 表1 p,q形成的极小项与极大项 表2 p,q,r形成的极小项与极大项 范式的规范化形式 定理(p.21) 设mi与Mi是命题变项p1,p2,…,pn形成的极小项和极大项，则 ┐mi ? Mi， ┐Mi ? mi (只证主析取范式的存在和唯一性) (1)证明存在性。 设A是任一含n个命题变项的公式。 由定理1.4可知，存在与A等值的析取范式A′，即A?A′，若A′的某个简单合取式Ai中既不含命题变项pj，也不含它的否定式┐pj，则将Ai展成如下形式： Ai ? Ai∧1 ? Ai∧(pj∨┐pj) ? (Ai∧pj)∨(Aj∧┐pj) 继续这个过程，直到所有的简单合取