第二章析取范式与合取范式讲解学习

pqr 000 m0
pqr
pqr 001 m1 p q r
pqr 010 m2 p q r
pqr 011 m3 p q r
pqr 100 m4 p q r
pqr 101 m5 p q r
pqr 110 m6 p q r
pqr 111 m7 p q r
解释 000 001 010 011 100 101 110 111
记法 M0 M1 M2 M3 M4 M5 M6 M7
8. 定理2.4 设mi与Mi是命题变项p1,p2,……,pn形成的极小项和
极大项，则
┐mi Mi ，
┐Mi mi
9. 主析取范式(主合取范式)
➢ 设由n个命题变项构成的析取范式中所有的简单合取式都是极
小项，则称该析取范式为主析取范式。
例如：(p→q) r (p∧┐q∧┐r)∨(┐p∧r)∨(q∧r)
• 设 Ai(i=1,2,…,s)为简单析取式,则合取范式的形式: A=A1∧A2∧…∧As
例如A=(p∨q∨r)∧(┐p∨┐q)∧r
• 思考：┐p∧q∧r 与p∨┐q∨r属于什么范式？
4. 定理2.2
➢ 一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛 盾式。 ➢ 一个合取范式是重言式当且仅当它的每个简单析取式都是重 言式。
➢ 如何求主析取范式（主合取范式）？ • 首先求等价的析取范式（合取范式） • 然后对非极小项（或者非极大项）进行扩展。
A A ∨(P∧┐P) （A ∨ P）∧（ A ∨ ┐P ）
A A ∧ (P ∨ ┐P) （A ∧ P） ∨ （ A ∧ ┐P ）
• 最后，求出某公式的主析取范式（主合取范式）后，将极小 项（极大项）都用名称写出，并且按极小项（极大项）名称的 角标由小到大顺序排列。
5. 定理2.3 （范式存在定理）任一命题公式都存在着与之等值
的析取范式与合取范式。
• 研究范式的目的是将给定公式化成与之等值的析取范式或合 取范式，进而将公式化成与之等值的主析取范式或主合取范式。
思考：怎样将公式转化为范式？
➢例2.7 求下面公式的析取范式与合取范式： (p→q) r
先求合取范式
(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 ∨ ┐q ∨ r; ┐ p ∨ ┐q ∨ ┐ r
思考: (1) n个命题变项共可产生多少个不同的极大项? 2n (2)每个极大项有多少个成假赋值? 一个
规定:成假赋值所对应的二进制数转换为十进制数i，就将所对应 极大项记作Mi
p, q, r 形成的极小项与极大项 极小项 解释 记法 极大项
① 消除联结词，
A→B ┐A∨B A B (A B) ∧(B A) ② 缩小┐的作用范围
(┐A∨B)∧(A∨┐B
┐┐A A ┐(A∧B) ┐A∨┐B ┐(A∨B) ┐A∧┐B ③ 利用分配率，转化为析取（合取）范式
A∧(B∨C) A∨(B∧C)
(A∧B)∨(A∧C) (A∨B)∧(A∨C)
➢例2.7 求下面公式的析取范式与合取范式：
p ∧ q ∧ r; p ∧ ┐q ∧ r; ┐ p ∧ ┐q ∧ ┐ r
思考: (1) n个命题变项共可产生多少个不同的极小项? 2n (2)每个极小项有多少个成真赋值? 一个
规定:成真赋值所对应的二进制数转换为十进制数i，就将所对应 极小项记作mi
7. 极小项与极大项的定义
➢极大项：在含有n个命题变项的简单析取式中，若每个命题变项 和它的否定式不同时出现，而二者之一必出现且仅出现一次，且 第i个命题变项或它的否定式出现在从左算起的第i位上（若命题 变项无角标，就按字典顺序排列），称这样的简单析取式为极大 项。 例：p ∨ r ∨ q; p ∨ ┐ p ∨ r; p ∨ ┐ q ∨ p;
（∨对∧分配律）
(p∧┐q∧┐r)∨(┐p∧r)∨(q∧r)
7. 极小项与极大项的定义
➢极小项：在含有n个命题变项的简单合取式中，若每个命题变项 和它的否定式不同时出现，而二者之一必出现且仅出现一次，且 第i个命题变项或它的否定式出现在从左算起的第i位上（若命题 变项无角标，就按字典顺序排列），称这样的简单合取式为极小 项。 例：p ∧ r ∧ q; p ∧ ┐ p ∧ r; p ∧ ┐ q ∧ p;
第二章析取范式与合取范式
3. 范式的定义
➢ 由有限个简单合取式构成的析取式称为析取范式。 ➢ 由有限个简单析取式构成的合取式称为合取范式。 ➢ 析取范式与合取范式统称为范式。 • 设 Ai(i=1,2,…,s)为简单合取式,则析取范式的形式:
A=A1∨A2∨…∨As 例如A=(p∧┐q)∨(┐q∧┐r)∨p
(p∧┐q∧┐r) ∨ (┐p∧┐q∧r)∨(┐p∧q∧r) ∨(┐p∧q∧r） ∨(p∧q∧r)
➢设由n个命题变项构成的合取范式中所有的简单析取式都是极 大项，则称该合取范式主合取范式。
例如：(p→q) r (p∨r)∧(┐q∨r)∧(┐p∨q∨┐r)
10. 定理2.5
任何命题公式都存在着与之等值的主析取范式和主合取范式, 并且是唯一的。
结论: 公式的所有成真赋值对应主析取范式的所有极小项.
例1： 求A=(rp)(q(pr))的主析取范式 解： (rp)(q(pr))
(rp)(qp)(qr) (pr)(qp)(qr) [(pr)(qq)][(qp)(rr)][(qr)(pp)] (pqr)(pqr)(pqr)(pqr) m1 m3m6m7
A A ∧ (P ∨ ┐P) （A ∧ P） ∨ （ A ∧ ┐P ）
(p→q) r
(┐p∨q) r
（消去→）
((┐p∨q)→r)∧(r→(┐p∨q)) （消去 ）
(┐(┐p∨q)∨r)∧(┐(┐p∨q∨┐r) （否定号内移）
(p∨r)∧(┐q∨r)∧(┐p∨q∨┐r) （∨对∧分配律）
6. 将公式转化为范式的步骤