命题逻辑等值演算
离散数学-命题逻辑等值演算
消解规则
总结词
消解规则允许我们通过消除两个等价的 命题来得出新的结论。
VS
详细描述
消解规则允许我们通过消除两个等价的命 题来得出新的结论。例如，如果我们有两 个等价的命题A和B，并且知道A能推出C， 同时B能推出D，那么我们可以通过消解规 则得出C ∧ D。
03
推理规则
假言推理
总结词
假言推理是一种基于前件和后件的推理方法，前件是推理的前提，后件是推出的结论。
详细描述
假言推理的逻辑形式是“如果P，则Q”，表示当P为真时，Q也为真。例如，“如果天 下雨，则地面会湿”，当天下雨时，可以推断出地面会湿。
应用场景
假言推理在日常生活和科学研究中广泛应用，如自然语言处理、人工智能、法律推理等 领域。
拒取式与析取三段论
总结词
拒取式是一种通过否定结论 来推导前提的推理方法，而 析取三段论则是通过前提的 析取来推导结论的推理方法
人工智能中的逻辑推理是离散数学中命题逻辑等值演算的另 一个重要应用。在自然语言处理、知识表示和推理、智能决 策等领域，逻辑推理都发挥着关键作用。
通过使用命题逻辑等值演算，人工智能系统可以更好地理解 和处理复杂的逻辑关系，提高推理的准确性和效率。例如， 在专家系统中，逻辑推理可以帮助我们构建知识库和推理机 ，实现智能化的决策支持。
05
习题与思考
命题逻辑的习题练习
练习题1
理解命题逻辑的基本概念，如命题、联结词、量词等，并能够准确 判断一个语句是否为命题。
练习题2
掌握命题逻辑中的推理规则，如析取三段论、合取三段论、假言推 理等，并能够运用这些规则进行简单的逻辑推理。
练习题3
利用真值表法判断复合命题的真假值，理解复合命题的逻辑关系。
离散数学-第一部分 数理逻辑-第二章 命题逻辑等值演算
名称
M0 M1 M2 M3
20
实例
由三个命题变项 p, q, r 形成的极小项与极大项.
极小项
公式
成真赋值 名称
p q r 0 0 0 m0
p q r 0 0 1 m1
p q r 0 1 0 m2
p q r 0 1 1 m3
p q r 1 0 0 m4
p q r 1 0 1 m5
p q r 1 1 0 m6
p(qr) (pq) r p(qr) 不与 (pq) r 等值
2
等值式例题
例1 判断下列各组公式是否等值: (1) p(qr) 与 (pq) r
p q r qr p(qr) pq (pq)r
000 1
1
001 1
1
010 0
1
011 1
1
100 1
1
101 1
1Hale Waihona Puke 110 00111 1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
0
1
1
结论: p(qr) (pq) r
3
等值式例题
(2) p(qr) 与 (pq) r
p q r qr p(qr)
000 1
1
001 1
1
010 0
1
011 1
1
100 1
1
101 1
1
110 0
0
111 1
1
pq (pq)r
1
0
1
1
1
0
1
1
0
1
0
第二章命题逻辑等值演算
每种数字标准形都能提供很多信息，如代数式的 因式分解可判断代数式的根情况。逻辑公式在等 值演算下也有标准形--范式 （公式的规范化）
2.2 析取范式与合取范式
定义2.2 命题变项及其否定统称作文字。 仅由有限个文字构成的析取式称作简单析取式。 仅由有限个文字构成的合取式称作简单合取式。 如：p、┐p、p∨┐q∨r等是简单析取式 p、┐p、 p∧q∧┐r 等是简单合取式 注:一个文字既是简单析取式，又是简单合取式。
(p→r)∧(q→r) （ ┐p∨ r)∧(┐q∨ r) (┐p ∧ ┐q ) ∨ r ┐(p ∨q ) ∨ r (p∨q)→r
一般情况下，不能用等值演算法直接验证两个公 式不等值。 例2.4 证明：(p→q)→r p→(q→r)
证： 方法一：真值表法。 方法二：观察法。 易知，010是(p→q)→r的成假赋值，而010是p→(q→r)的 成真赋值，所以原不等值式成立。 方法三：设A=(p→q)→r, B=p→(q→r) A= (p→q)→r (┐p∨q)→r ┐(┐p∨q)∨r (p∧┐q)∨r B= p→(q→r) ┐p∨(┐q∨r) ┐p∨┐q∨r 容易观察到， 000，010是A 的成假赋值， 而它们是B的 成真赋值。
A∨ 0 A ， A∧ 1 A A∨┐A 1
11. 矛盾律
12. 蕴涵等值式 13. 等价等值式 14. 假言易位
A∧┐A 0
A→ B ┐ A∨ B (A B) (A→B)∧(B→A) A→B ┐B→┐A A B ┐A ┐B (A→B)∧(A→┐B) ┐A
Hale Waihona Puke (p→q) r ((p∧┐q)∨r)∧(┐p∨q∨┐r) (p∧┐q∧┐p)∨(p∧┐q∧q)∨(p∧┐q∧┐r)∨
2第二章 命题逻辑等值演算
2.1 等值式
由已知的等值式推演出另外一些等值式的过程 等值演算。 为等值演算。 置换规则： 是含公式A的命题公式 置换规则：设Φ(A)是含公式 的命题公式，Φ(B)是 是含公式 的命题公式， 是 用公式B置换了 置换了Φ 中所有的A后得到的命题公式 用公式 置换了Φ (A)中所有的 后得到的命题公式， 中所有的 后得到的命题公式， Φ(A)。 若BA，则Φ (B) Φ 。 ，
2.1 等值式
证明等值式 验证p→ → 例：验证 →(q→r) (p ∧ q) → r
(蕴涵等值式 蕴涵等值式) 右 (p ∧ q) ∨ r 蕴涵等值式 (德摩根律 德摩根律) p ∨ q ∨ r 德摩根律 结合律) p ∨ ( q∨r) (结合律 ∨ 结合律 蕴涵等值式) p∨ ( q → r) (蕴涵等值式 ∨ 蕴涵等值式 (蕴涵等值式 蕴涵等值式) p → ( q → r) 蕴涵等值式
原式?p?q?rr?p?q?p?qrrp?q?pqrrpq?pqrrpq?prqrrpq合取范式?pqrpqrrpq?pqrrprq析取范式22析取范式与合取范式定义24在含有n个命题变项的简单合取式简单析取式中若每个命题变项和它的否定式不同时出现而二者之一必出现一次而者出现次且第i个命题变项或它的否定式出现在从左算起的第i位上称这样的简单合取式简单析取式为极小项极大项
2.1 等值式
例：什麽，如果她不来那么我也不去，没有那回事。 什麽，如果她不来那么我也不去，没有那回事。 P：她来。 Q：我去。 ：她来。 ：我去。 ( P→ Q) → (P ∨Q) P ∧Q 结论: 她不来, 我去. 结论 她不来 我去 P24例2.4、2.6 例 、
人百米竞赛， 例：A，B，C，D4人百米竞赛，观众甲、乙、丙预 ， ， ， 人百米竞赛 观众甲、 测比赛的名次为： 测比赛的名次为： 第一， 第二 第二； 甲：C第一，B第二； 第一 第二， 第三 第三； 乙：C第二，D第三； 第二 第二， 第四 第四。 丙：A第二，D第四。 第二 比赛结束后发现甲、 丙各对一半， 比赛结束后发现甲、乙、丙各对一半，试问实际名次 如何（假设无并列名次）？ 如何（假设无并列名次）？
离散数学第二章 命题逻辑等值演算
范式存在定理
定理2.3 任何命题公式都存在着与之等值的析取范式与合 定理 取范式. 取范式. 求公式 的范式的步骤 的范式的步骤： 证 求公式A的范式的步骤： (1) 消去 中的→, ↔ 消去A中的 中的→ A→B⇔¬ ∨B ⇔¬A∨ → ⇔¬ A↔B⇔(¬A∨B)∧(A∨¬ ∨¬B) ↔ ⇔ ¬ ∨ ∧ ∨¬ (2) 否定联结词¬的内移或消去 否定联结词¬ ¬ ¬A⇔ A ⇔ ⇔¬A∧¬ ¬(A∨B)⇔¬ ∧¬ ∨ ⇔¬ ∧¬B ⇔¬A∨¬ ¬(A∧B)⇔¬ ∨¬ ∧ ⇔¬ ∨¬B
真值表法
例1 判断 ¬(p∨q) 与 ¬p∧¬q 是否等值 ∨ ∧ 解 p q 0 0 0 1 1 0 1 1 ¬p ¬q 1 1 0 0 1 0 1 0 p∨q ¬(p∨q) ¬p∧¬q ¬(p∨q)↔(¬p∧¬q) ∨ ∨ ∧ ∨ ↔¬ ∧ 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1
实例(续)
(2) (p→q)↔(¬q→¬ → ↔ ¬ →¬ →¬p) 解 (p→q)↔(¬q→¬ → ↔ ¬ →¬ →¬p) ∨¬p) ⇔ (¬p∨q)↔(q∨¬ ¬ ∨ ↔ ∨¬ ⇔ (¬p∨q)↔(¬p∨q) ¬ ∨ ↔¬ ∨ ⇔1 该式为重言式. 该式为重言式 （蕴涵等值式） 蕴涵等值式） （交换律） 交换律）
实例(续)
(3) ((p∧q)∨(p∧¬ ∧r) ∧¬q))∧ ∧ ∨ ∧¬ 解 ((p∧q)∨(p∧¬ ∧r) ∧ ∨ ∧¬ ∧¬q))∧ （分配律） 分配律） （排中律） 排中律） （同一律） 同一律） ∨¬q))∧ ⇔ (p∧(q∨¬ ∧r ∧ ∨¬ ⇔ p∧1∧r ∧ ∧ ⇔ p∧r ∧ 成假赋值. 成假赋值 总结:A为矛盾式当且仅当 ⇔ 为重言式当且仅当A⇔ 总结 为矛盾式当且仅当A⇔0; A为重言式当且仅当 ⇔1 为矛盾式当且仅当 为重言式当且仅当 说明:演算步骤不惟一, 说明 演算步骤不惟一,应尽量使演算短些 演算步骤不惟一
命题逻辑的等值和推理演算.ppt
5. 等幂律(恒等律) P∨P = P P∧P = P PP = T PP = T
6. 吸收律 P∨(P∧Q) = P P∧(P∨Q) = P
7. 摩根律 (P∨Q) = P∧Q (P∧Q) = P∨Q
定理: 对公式A的子公式, 用与之等值的公式来代换 便称置换。 置换规则 公式A的子公式置换后A化为公式B, 必有A = B。 当A是重言式时, 置换后的公式B必也是重言式。
置换与代入是有区别的。置换只要求A的某一 子公式作代换, 不必对所有同一的子公式都作代 换。
2.2.4 等值演算举例
例1: 证明(P∧(Q∧R))∨(Q∧R)∨(P∧R) = R
16. PQ =Biblioteka (PQ)∧(QP)这表明PQ成立, 等价于正定理PQ和逆 定理QP都成立。
17. P(QR) = Q(PR)
前提条件P、Q可交换次序。
18. (PR) ∧(QR)=(P∨Q)R
左端说明的是由P而且由Q都有R成立。 从而可以说由P或Q就有R成立, 这就是等 式右端。
2.2.3 置换规则
严格的形式化的讨论见第三章所建立的公 理系统。
2.1 等值定理
若把初等数学里的＋、－、×、÷等运算符看作 是数与数之间的联结词，那么由这些联结词所表 达的代数式之间，可建立许多等值式如下： x2－y2 = (x＋y)(x－y) (x＋y)2 = x2＋2xy＋y2 sin2x＋cos2x = 1 ……
PP = P PP = P PP = F
所有这些公式，都可使用直值表加以验证。
Venn图
若使用Venn图也容易理解这些等值式, 这 种图是将P、Q理解为某总体论域上的子集 合, 而规定P∧Q为两集合的公共部分(交集 合), P∨Q为两集合的全部(并集合), P为 总体论域(如矩形域)中P的余集。
命题逻辑等值演算
等值式 析取范式与合取范式 联结词完备集 可满足性问题与消解法 知 识 点：等值式、置换规则、等值演算、(主)析取范式、(主)合取范
式、联结词完备集、其它联结词、可满足性问题、消解法 教学要求：深刻理解和掌握命题逻辑中的基本概念 教学重点：等值演算、(主)析取范式、(主)合取范式 学时: 4
例6 用等值演算法判断公式的类型
(1) ( p→q) ∧p → q
(2) ┐( p→(p∨q ) ) ∧r
(3) p∧(((p∨q)∧p ) → q )
2020年3月31日3时11分
®
§2.2 析取范式与合取范式
一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式 一个合取范式是重言式当且仅当它的每个简单析取式都是重言式 范式存在定理:
p
q
F
r
当且仅当 p、q、r 的输入为 0,0,1 或 1,0,0 或 0,1,1 或 1,1,0 时输出 F 为 1
2020年3月31日3时11分
®
§2.4 可满足性问题与消解法
命题公式的可满足性问题是算法理论的核心问题之一
解决方法: 真值表法、主析取范式或主合取范式 缺点: 计算量大 新方法: 消解法 命题公式的可满足性问题可以归结为合取范式的可满足性问题
矛盾式无成真赋值，因而矛盾式的主合取范式含2n（n为公式中命题变项 个数）个极大项
而重言式无成假赋值，因而主合取范式不含任何极大项 重言式的主合取范式记为1。矛盾式的主析取范式为0 可满足式的主析取范式中至少含有一个极小项,主合取范式中极大项的个
数一定小于2n
2020年3月31日3时11分
®
例1 判断下列公式是否是可满足式
p ∧ (p∨q) ∧ ( p∨┐q) ∧ (q∨┐r) ∧ (q∨r)
命题逻辑等值演算
8
应用举例——证明两个公式等值 证明两个公式等值 应用举例
例2 证明 (p ∨ q)→r ⇔ (p → r) ∧ (q → r) → 可以从左边开始演算,也可以从右边开始演算. 可以从左边开始演算,也可以从右边开始演算. 证 (p → r) ∧ (q → r) 蕴涵等值式） ⇔(¬p ∨ r ) ∧ (¬ q ∨ r) ¬ ¬ （蕴涵等值式） 分配律） ⇔ (¬p ∧ ¬ q ) ∨ r ¬ （分配律） 德摩根律） ⇔ ¬ (p ∨ q) ∨ r （德摩根律） ⇔ (p ∨ q)→r → （蕴涵等值式） 蕴涵等值式）
11
ห้องสมุดไป่ตู้
例3 (续) 续
(2) (p→q)↔(¬q→¬ →¬p) → ↔ ¬ →¬ →¬p) 解 (p→q)↔(¬q→¬ → ↔ ¬ →¬ ∨¬p) （蕴涵等值式） 蕴涵等值式） ⇔ (¬p∨q)↔(q∨¬ ¬ ∨ ↔ ∨¬ 交换律） ⇔ (¬p∨q)↔(¬p∨q) （交换律） ¬ ∨ ↔¬ ∨ ⇔1 由最后一步可知，该式为重言式. 由最后一步可知，该式为重言式 最后一步为什么等值于1？ 问：最后一步为什么等值于 ？
18
于是,由同一律可知: E ⇔ ( ¬p ∧ q ∧ ¬r ) ∧ (p ∧ ¬ q ∧ r ) 但因为王教授不能既是上海人,又是杭州人,因 而p, r必有一个假命题,即p ∧ ¬ q ∧ r ⇔ 0,于是 于是 E ⇔ ¬p ∧ q ∧ ¬r 为真命题. 因而必有p, r为假命题, q为真命题, 即王教授 为上海人.甲说得全对,丙说对了一半,而乙全说 错了.
17
由王教授所说,可推出 E= (B1 ∧ C2 ∧ D3) ∨ (B1 ∧ C3 ∧ D2) ∨(B2 ∧ C1 ∧ D3) ∨(B2 ∧ C3 ∧ D1) ∨(B3 ∧ C1 ∧ D2) ∨(B3 ∧ C2 ∧ D1) 为真命题.而 B1 ∧ C2 ∧ D3 ⇔ 0 B1 ∧ C3 ∧ D2 ⇔ ¬p ∧ q ∧ ¬r B2 ∧ C1 ∧ D3 ⇔ 0 B2 ∧ C3 ∧ D1 ⇔ 0 B3 ∧ C1 ∧ D2 ⇔ p ∧ ¬ q ∧ r B3 ∧ C2 ∧ D1 ⇔ 0
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
命题逻辑等值演算1.设A与B均为含n个命题变项的公式, 判断下列命题是否为真？（1）A B 当且仅当 A B是可满足式.该命题为真该命题为假（2）A B 当且仅当 A与B有相同的主析取范式.该命题为真该命题为假（3）若A为重言式, 则A的主析取范式中含有2n个极小项.该命题为真该命题为假（4）若A为矛盾式, 则A的主析取范式为1.该命题为真该命题为假（5）若A为矛盾式, 则A的主合取范式为1.该命题为真该命题为假（6）任何公式A都能等值地化为联结词集{∧、∨} 中的公式.该命题为真该命题为假（7）任何公式A都能等值地化为联结词集{┐、→、∧}中的公式.该命题为真该命题为假2.用等值演算法来判断下列公式的类型.（1）(p→q)→(┐q→┐p)（2）┐(p→q)∧r∧q（3）(p→q)∧┐p3.用主析取范式法判断题2中3个公式的类型, 并求公式的成真赋值.题2中三个公式如下：（1）(p→q)→(┐q→┐p)（2）┐(p→q)∧r∧q（3）(p→q)∧┐p4.求题2中3个公式的主合取范式, 并求公式的成假赋值.题2中三个公式如下：（1）(p→q)→(┐q→┐p)（2）┐(p→q)∧r∧q （3）(p→q)∧┐p5 . 已知命题公式A中含3个命题变项p, q, r, 并知道它的成真赋值分别为001, 010, 111, 求A的主析取范式和主合取范式.6. 用等值演算法证明下面等值式.（1）(┐p∨q)∧(p→r)p→(q∧r)（2）(p∧q)∨┐(┐p∨q)p7.求公式(p→┐q)∧r在以下各联结词完备集中与之等值的一个公式：（1）{┐,∧, ∨}（2）{┐,∧}（3）{┐,∨}（4）{┐, →}（5）{↑}8.用等值演算法求解下面问题.某公司要从赵、钱、孙、李、周五名新毕业的大学生中选派一些人出国学习. 选派必须满足以下条件：（1）若赵去, 则钱也去（2）李、周中至少去一人（3）钱、孙中去且仅去一人（4）孙、李两人都去或都不去（5）若周去, 则赵、钱也同去问该公司应选派哪些人出国？例题分析题1分析：（1）A B 当且仅当 A B为重言式, 而不是可满足式.（2）A B说明A与B有相同的成真赋值, 因而有相同的主析取范式；反之若A与B有相同的主析取范式,说明它们有相同的成真赋值,当然也有相同的成假赋值. 因而A B为重言式,故A B.（3）若A为重言式, 说明2n个赋值都是成真赋值, 因而主析取范式中含有2n个极小项.（4）若A为矛盾式, 则A无成真赋值, 因而A的主析取范式不含任何极小项, 规定A的主析取范式为0, 而不是1. 若是1, 则A1, 这与A为矛盾式不是矛盾了吗？（5）若A为矛盾式, 则A的2n个赋值都是成假赋值, 因而主合取范式应含有2n个极大项, 而不是1. 若为1,则A1, A不就成了重言式了吗？（6）{∧、∨}不是联结词完备集. 因而, 有的公式不能等值地化为它中的公式. 例如：p q ┐p∨q ┐(p∧┐q) ... 但无论如何不能只含联结词∧和∨.（7）{┐、→}是联结词完备集, 在它中再加一个联结词∧, 所得集合{┐、→、∧}也为完备集, 因而任何公式A都能等值地化为联结词集{┐、→、∧}中的公式.题2分析：（1）(p→q)→(┐q→┐p)┐(┐p∨q)∨(q∨┐p) (蕴涵等值式)(p∧┐q)∨(┐p∨q) (德·摩根律、交换律)((p∧┐q)∨┐p)∨q (结合律)((p∨┐p)∧(┐q∨┐p))∨q (分配律)(1∧(┐p∨┐q))∨q (排中律、交换律)┐p∨(┐q∨q) (同一律、结合律)┐p∨1 (排中律)1 (零律)由于该公式与1等值, 故它为重言式.（2）┐(p→q)∧r∧q┐(┐p∨q)∧q∧r (蕴含等值式、交换律)p∧(┐q∧q)∧r (德·摩根律、结合律)p∧0∧r (矛盾律)0 (零律)由于公式与0等值, 故它为矛盾式.（3）(p→q)∧┐p(┐p∨q)∧┐p (蕴含等值式)┐p (吸收律)由最后一步可知, 该公式既有成真赋值00和01, 又有成假赋值10和11, 故它为可满足式.注意：等项演算的过程不是唯一的, 但重言式一定与1等值, 矛盾式一定与0等值. 而可满足式化简到能观察出成真和成假赋值都存在即可.题3分析：求主析取范式可用真值表法, 也可以用等值演算法, 这里用等值演算法.（1）(p→q)→(┐q→┐p)┐(┐p∨q)∨(q∨┐p) (消去→)(p∧┐q)∨┐p∨q(┐内移) (已为析取范式)(p∧┐q)∨(┐p∧┐q)∨(┐p∧q)∨(┐p∧q)∨(p∧q)（*）m2∨m0∨m1∨m1∨m3m0∨m1∨m2∨m3 (幂等律、排序)(*)由┐p及q派生的极小项的过程如下：┐p┐p∧(┐q∨q)(┐p∧┐q)∨(┐p∧q)q(┐p∨p)∧q(┐p∧q)∨(p∧q)熟练之后, 以上过程可不写在演算过程中. 该公式中含n=2个命题变项, 它的主析取范式中含了22=4 个极小项, 故它为重言式, 00, 01, 10, 11全为成真赋值.（2）┐(p→q)∧r∧q┐(┐p∨q)∧r∧q (消去→)p∧┐q∧q∧r(┐内移)0 (矛盾律和零律)该公式的主析取范式为0, 故它为矛盾式, 00, 01, 10, 11全为成假赋值, 无成真赋值.（3）(p→q)∧┐p(┐p∨q)∧┐p (消去→)┐p∨(┐p∧q) (分配律、幂等律) 已为析取范式(┐p∧┐q)∨(┐p∧q)m0∨m1主析取范式中含2个极小项, 成真赋值为00和01.题4分析：求公式的主合取范式一般可有三种方法：（i）真值表法；（ii）等值演算法；（iii）用主析取范式求主合取范式.这里用方法（iii）, 其余两种方法留给读者.（1）由题3可知, 主析取范式为：(p→q)→(┐q→┐p)m0∨m1∨m2∨m3因而该公式为重言式, 它的主合取范式为1, 无成假赋值.（2）由题3可知, 它为矛盾式, 即它的主析取范式为0, 因而无成真赋值, 于是主合取范式含8个极大项,即：┐(p→q)∧r∧q M0∧M1∧M2∧M3∧M4∧M5∧M6∧M7（3）该公式的主析取范式中含2个极小项m0和m1, 故主合取范式中含22-2=2个极大项M2和M3, 即(p→q)∧┐p M2∧M3成假赋值为10和11.题5分析：由于公式含3个命题变项, 并且已知有3个成真赋值001, 010, 111, 因而有5个成假赋值000, 011, 100, 101, 110.成真赋值对应的极小项分别为m1, m2, m7, 故主析取范式为A m1∨m2∨m7成假赋值对应的极大项分别为M0, M3, M4, M5, M6, 故主合取范式为A M0∧M3∧M4∧M5∧M6注意：公式的真值表与主析取范式(主合取范式)可以相互唯一确定.题6分析：用等值演算法证明A B, 可以有3种方式. 从A出发, 证到B；从B出发证到A；或证明A C和B C,由于等值关系有传递性和对称性, 故A B.题7分析：（1）(p→┐q)∧r(┐p∨┐q)∧r (已满足要求)（2）(p→┐q)∧r(┐p∨┐q)∧r┐(p∧q)∧r (已满足要求)（3）(p→┐q)∧r(┐p∨┐q)∧r┐┐((┐p∨┐q)∧r)┐(┐(┐p∨┐q)∨┐r) (已满足要求)（4）(p→┐q)∧r┐┐((p→┐q)∧r)┐(┐(p→┐q)∨┐r)┐( (p→┐q)→┐r) (已满足要求)（5）(p→┐q)∧r(┐p∨┐q)∧r┐(p∧q)∧r(p↑q)∧r┐┐((p↑q)∧r)┐((p↑q)↑r)((p↑q)↑r)↑((p↑q)↑r)注意：以上各式的推导和最后形式不唯一.题8分析：解此类问题的步骤应为：① 将简单命题符号化② 写出各复合命题③ 写出由各复合命题组成的合取式④ 将写出的公式化成析取范式, 给出其成真赋值, 即可得到答案.具体解法如下：① 令 p：派赵去q：派钱去r：派孙去s：派李去u：派周去② (1) p→q(2) s∨u(3) ((q∧┐r)∨(┐q∧r))(4) ((r∧s)∨(┐r∧┐s))(5) u→(p∧q)③ 设A=(p→q)∧(s∨u)∧((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(u→(p∧q))④ 求A的析取范式(用等值演算法), 简要过程如下：A(┐p∨q)∧(s∨u)∧((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(┐u∨(p∧q))(┐p∨q)∧((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q))((┐p∧q∧┐r)∨(q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q))((q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q)) （用了吸收律）((┐p∧┐q∧r∧s)∨(q∧┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q))((┐p∧┐q∧r∧s)∨(┐p∧┐q∧r∧s∧u)∨(q∧┐r∧┐s∧u))∧(┐u∨(p∧q))(┐p∧┐q∧r∧s∧┐u)∨(p∧q∧┐r∧┐s∧u)最后一步得到一个主析取范式, 含有两个极小项. 当p, q, r, s, u取值分别为0, 0, 1, 1, 0 或 1, 1, 0, 0, 1 时, A为真, 故公司应派孙、李去, 而赵、钱、周不去,或赵、钱、周去, 而孙、李不去.注意, 在演算中, 多次用了矛盾律和同一律.返回例题答案题1答案：（1）为假；（2）为真；（3）为真；（4）为假；（5）为假；（6）为假；（7）为真.题2答案：（1）为重言式；（2）为矛盾式；（3）为可满足式.题3答案：（1）为重言式, 00, 01, 10, 11为成真赋值.（2）为矛盾式, 无成真赋值. （3）为可满足式, 成真赋值为00和01.题4答案：（1）该公式的主合取范式为1, 无成假赋值.（2）它的主合取范式为：M0∧M1∧M2∧M3∧M4∧M5∧M6∧M7, 8个赋值全是成假赋值.（3）该公式的主析取范式为M2和M3, 成假赋值为10和11.题5答案：A的主析取范式为 m1∨m2∨m7；A的主合取范式为 M0∧M3∧M4∧M5∧M6.题6答案：（1）从左出发证(┐p∨q)∧(p→r)(┐p∨q)∧(┐p∨r) (蕴涵等值式)┐p∨(q∧r) (分配律)p→(q∧r) (蕴涵等值式)也可以从右出发证(请读者自己证).（2）从右出发证pp∧1 (同一律)p∧(q∨┐q) (排中律)(p∧q)∨(p∧┐q) (分配律)(p∧q)∨┐┐(p∧┐q) (双重否定律)(p∧q)∨┐(┐p∨q) (德·摩根律)题7答案：答案不唯一, 参看分析.题8答案：应该派赵、钱、周或派孙, 李去.返回。