第二章析取范式与合取范式.pptVIP

* * §2.2 析取范式与合取范式 简单析取式(简单合取式) 命题变项及其否定称为文字。如p, ?p 仅有有限个文字构成的析取式称作简单析取式。 如 ?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个简单合取式。 定理2.1 一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定式。 如：p∨┐p，p∨┐p∨r都是重言式； ┐p∨q，┐p∨┐q∨r都不是重言式。 一个简单合取式是矛盾式当且仅当它同时含有某个命题变项及它的否定式。 如：p∧ ┐p，p∧ ┐p∧ r都是矛盾式； p∧ ┐ q，┐p∧ q∧ ┐ r都不是矛盾式。 范式的定义 由有限个简单合取式构成的析取式称为析取范式。 由有限个简单析取式构成的合取式称为合取范式。 析取范式与合取范式统称为范式。 设 Ai(i=1,2,…,s)为简单合取式,则析取范式的形式: A=A1∨A2∨…∨As 例如A=(p∧┐q)∨(┐q∧┐r)∨p 设 Ai(i=1,2,…,s)为简单析取式,则合取范式的形式