简单析取式和简单合取式.pptVIP

第一页，共十二页，2022年，8月28日 如：┐p∨(q∧r)与┐p∧(q∨r) （P∨q)∨0与（P∧q) ∧1 　　　　互为对偶式 定义： 在仅含有联结词┐，∨，∧的命题公式A中，将∨换成∧， ∧换成∨，若A中含0或1，就将0换成1,1换成0，所得命题公式称为A的对偶式，记作A*。 范 式 ---- 对 偶 式 第二页，共十二页，2022年，8月28日 范 式 ---- 对 偶 式 定理1.2　设A与A*互为对偶式，p,q,r是出现在A和A*中的全部的命题变项，若将A和A*写成函数形式: ┐A(p,q,r)?┐p∨(q∧┐r)?A*(┐p,┐q,┐r) A*(┐p,┐q,┐r)?┐p∧(q∨┐r)?┐A*(p,q,r) 上页 对偶原理 设A,B为命题公式，若A?B,则A*?B*，  其中A*，B*分别为A,B的对偶式。 第三页，共十二页，2022年，8月28日 范 式 ---- 析取式和合取式 定义：仅由有限个命题变项或其否定构成的析取式称为简单析取式。 例如 ：给定命题变项p,q,则p, q, ┐p, ┐q, p∨q, p∨┐q, ┐p∨q, ┐p∨┐q 都是简单析取式 一个简单析取式是重言式，当且仅当它同时含一个命题变项及其否定。 p∨┐p∨q是重言式 第四页，共十二页，2022年，8月28日 范 式 ---- 析取式和合取式 定义：仅由有限个命题变项或其否定构成的合取式称为简单合取式。  一个简单合取式是矛盾式，当且仅当它同时含一个命题变项及其否定。 p∧┐p∧q是矛盾式 例如 ：给定命题变项p,q,则p, q, ┐p, ┐q, p∧q, p∧┐q, ┐p∧q,┐p∧┐q 都是简单析取式 上页 第五页，共十二页，2022年，8月28日 范 式 ---- 析取范式和合取范式 析取范式：仅由有限个简单合取式构成的析取式 A=(p∧┐q∧r)∨(┐p∧q)∨(q∧┐q) 析取范式的对偶  式为合取范式 合取范式的  对偶式为析 取范式 析取范式是矛盾式，当且仅当它的每个简单合取式都是矛盾式 合取范式是重言式，当且仅当它的每个简单析取式都是重言式 合取范式：仅由有限个简单析取式构成的合取式 A*=(p∨┐q∨r)∧(┐p∨q)∧(q∨┐q) 第六页，共十二页，2022年，8月28日 范 式 ---- 析取范式和合取范式 范式存在定理 任一命题公式都存在着与之等值的析取范式和合取范式 例 求命题公式((p∨q)→r)→q的范式解： 化简原式?(┐(p∨q)∨r)→q)  (消去第一个→) ?┐(┐(p∨q)∨r)∨p  (消去第一个→) ?┐((┐p∧┐q)∨r)∨p ?((┐┐p∨┐┐q)∧┐r)∨p ?((p∨q)∧┐r)∨p 求析取范式((p∨q)∧┐r)∨p?(p∧┐r)∨(q∧┐r)∨p(∧对∨分配律) ?p∨(q∧┐r) (交换律和吸收律) 上页 求合取范式 ((p∨q)∧┐r)∨p?(p∨q∨p)∧(┐r∨p) ?(p∨q)∧(┐r∨p)  (交换律和等幂律)  第七页，共十二页，2022年，8月28日 范 式 ---- 主范式 主析取范式概念 求主析取范式 主合取范式概念 求主合取范式 第八页，共十二页，2022年，8月28日 范 式 ---- 主析取范式 定义　形如A＝A1∨A2∨……∨An 基中Ai(I=1,2,3……n) 为极小项记为：∑（m1m2……m2n-1) 极小项　在n个变元的简单合取式中，若每个变元与其否定不同时存在，而二者之一必出现且仅出现一次，这种合取式叫做极小项 p q r 记作 0 0 0 m0 0 0 1 m1 0 1 0 m2 0 1 1 m3 1 0 0 m4 1 0 1 m5 1 1 0 m6 1 1 1 m7 N个变元可构成2n 个极小项 p∧┐q∧r 第九页，共十二页，2022年，8月28日