范式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)析取范式与合取范式统称为范式。