《简单析取式和简单合取式.ppt》由会员分享，可在线阅读，更多相关《简单析取式和简单合取式.ppt（12页珍藏版）》请在三一办公上搜索。
1、范式,对偶式简单析取式和简单合取式析取范式和合取范式主范式,01计机 08号 陈燕丽,定义：在仅含有联结词，的命题公式A中，将换成，换成，若A中含0或1，就将0换成1,1换成0，所得命题公式称为A的对偶式，记作A*。,范 式-对 偶 式,范 式-对 偶 式,定理1.2设A与A*互为对偶式，p,q,r是出现在A和A*中的全部的命题变项，若将A和A*写成函数形式:,上页,范 式-析取式和合取式,定义：仅由有限个命题变项或其否定构成的析取式称为简单析取式。例如：给定命题变项p,q,则p,q,p,q,pq,pq,pq,pq 都是简单析取式,范 式-析取式和合取式,定义：仅由有限个命题变项或其否定构成的
2、合取式称为简单合取式。,上页,范 式-析取范式和合取范式,析取范式：仅由有限个简单合取式构成的析取式A=(pqr)(pq)(qq),合取范式：仅由有限个简单析取式构成的合取式A*=(pqr)(pq)(qq),范 式-析取范式和合取范式,例 求命题公式(pq)r)q的范式解：,上页,范 式-主范式,主析取范式概念求主析取范式主合取范式概念求主合取范式,范 式-主析取范式,定义形如AA1A2An基中Ai(I=1,2,3n)为极小项记为：（m1m2m2n-1),N个变元可构成2n 个极小项,pqr,范 式-求主析取范式,(2,4,5,6,7),上页,范 式-主合取范式,定义形如AA1 A2 An基中Ai(I=1,2,3n)为极大项记为：（m1m2m2n-1),pqr,范 式-求主析取范式,求pq r的主合取范式解（pq）r（Pr)(qr)（P(qq)r)(pp)qr)（Pqr)(Pqr)(pqr)(pqr)000 010 000 011 M0 M2 M3(0,2,3),求出合取范式,展开成极大项,由小到大用表示,
