2.2 析取范式与合取范式 1. 简单析取式( 简单合取式) 命题变项及其否定称为文字。如p, p 仅有有限个文字构成的析取式称作简单析取式。 如p,q;pp ，pq;pq r,pq r 。 仅有有限个文字构成的合取式称作简单合取式。 如p,q;p p ，p q;p q r,p p q 。 注意： 一个文字既是简单析取式，又是简单合取式。 一般用A 1 ,A 2 ,A s 表示s 个简单析取式或s 个简单合取式。2. 定理2.1 一个简单析取式是重言式当且仅当它同时含某个命题变项及它的 否定式。 如：p p ，p p r 都是重言式；p q ，p q r 都不是 重言式。 一个简单合取式是矛盾式当且仅当它同时含有某个命题变项及它 的否定式。 如：p p ，p p r 都是矛盾式；p q ，p q r 都不是矛 盾式。3. 范式的定义 由有限个简单合取式构成的析取式称为析取范式。 由有限个简单析取式构成的合取式称为合取范式。 析取范式与合取范式统称为范式。 设A i (i=1,2,s) 为简单合取式,则析取范式的形式: A=A 1 A 2 A s 例如A=(pq) (q r) p 设A
