资源描述：
《第二章析取范式与合取范式.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、§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，
2、┐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)为简单析取式,则合取范式的形式:A=A1∧A2∧…∧As例如A=(p∨q
3、∨r)∧(┐p∨┐q)∧r思考：┐p∧q∧r与p∨┐q∨r属于什么范式？定理2.2一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式。一个合取范式是重言式当且仅当它的每个简单析取式都是重言式。定理2.3（范式存在定理）任一命题公式都存在着与之等值的析取范式与合取范式。研究范式的目的是将给定公式化成与之等值的析取范式或合取范式，进而将公式化成与之等值的主析取范式或主合取范式。思考：怎样将公式转化为范式？例2.7求下面公式的析取范式与合取范式：(p→q)r先求合取范式(p→q)r (┐p∨q)r（消去→）
4、((┐p∨q)→r)∧(r→(┐p∨q))（消去 ）(┐(┐p∨q)∨r)∧(┐r∨┐p∨q)（消去→）((p∧┐q)∨r)∧(┐p∨q∨┐r)（否定号内移）(p∨r)∧(┐q∨r)∧(┐p∨q∨┐r)（∨对∧分配律）将公式转化为范式的步骤消除联结词，A→B ┐A∨BAB(AB)∧(BA) (┐A∨B)∧(A∨┐B缩小┐的作用范围┐┐A A ┐(A∧B) ┐A∨┐B ┐(A∨B) ┐A∧┐B利用分配率，转化为析取（合取）范式A∧(B∨C) (A∧B)∨(A∧C) A∨(B∧
5、C) (A∨B)∧(A∨C)例2.7求下面公式的析取范式与合取范式：(p→q)r求析取范式(p→q)r (┐p∨q)r（消去→）((┐p∨q)→r)∧(r→(┐p∨q))（消去 ）(┐(┐p∨q)∨r)∧(┐r∨┐p∨q)（消去→）((p∧┐q)∨r)∧(┐p∨q∨┐r)（否定号内移）(p∧┐q∧┐p)∨(p∧┐q∧q)∨(p∧┐q∧┐r）∨(r∧┐p)∨(r∧q)∨(r∧┐r)（∨对∧分配律）(p∧┐q∧┐r)∨(┐p∧r)∨(q∧r)极小项与极大项的定义极小项：在含有n个命题变项的简单合取式中，
6、若每个命题变项和它的否定式不同时出现，而二者之一必出现且仅出现一次，且第i个命题变项或它的否定式出现在从左算起的第i位上（若命题变项无角标，就按字典顺序排列），称这样的简单合取式为极小项。例：p∧r∧q;p∧┐p∧r;p∧┐q∧p;p∧q∧r;p∧┐q∧r;┐p∧┐q∧┐r思考:(1)n个命题变项共可产生多少个不同的极小项?(2)每个极小项有多少个成真赋值?2n一个规定:成真赋值所对应的二进制数转换为十进制数i，就将所对应极小项记作mi极小项与极大项的定义极大项：在含有n个命题变项的简单析取式中，若每个命题变项和它的
7、否定式不同时出现，而二者之一必出现且仅出现一次，且第i个命题变项或它的否定式出现在从左算起的第i位上（若命题变项无角标，就按字典顺序排列），称这样的简单析取式为极大项。例：p∨r∨q;p∨┐p∨r;p∨┐q∨p;p∨q∨r;p∨┐q∨r;┐p∨┐q∨┐r思考:(1)n个命题变项共可产生多少个不同的极大项?(2)每个极大项有多少个成假赋值?2n一个规定:成假赋值所对应的二进制数转换为十进制数i，就将所对应极大项记作Mi极小项解释记法极大项解释记法pqr000m0pqr000M0pqr001m1p
8、qr001M1pqr010m2pqr010M2pqr011m3pqr011M3pqr100m4pqr100M4pqr101m5pqr101M5pqr110m6pqr110M6pqr111m7pqr111M7p,q,r形成的极小项与极大项定理2.4设mi与Mi
