第1-1章节命题逻辑幻灯片.ppt

1-1-6 其他逻辑联结词 定义 6.1 不可兼或 由命题公式P和Q产生的新命题P▽Q，称为P和Q 的不可兼或。 P Q P▽Q 0 0 0 0 1 1 1 0 1 1 1 0 P▽Q? Q▽P (P▽Q)▽R ? P▽ (Q▽R) P∧(Q▽R) ? (P∧Q)▽ (P∧R) P▽Q? (￢P∧Q) ∨(P∧￢Q) P▽Q? ￢(P?Q) P▽P?F P▽F?P P▽T?￢P 定义 6.2 “与非”，“或非” 由命题公式P和Q产生的新命题P↑Q， P↓Q称为 P和Q的“与非式”和“或非式”。 P↑Q ?￢(P∧Q) P↓Q ?￢(P∨Q) ↑和↓互为对偶 例6.1 A=P↑(Q∧￢(R↓P)，求A* 解： A* =P↓(Q∨￢(R↑P) 例6.2 A=(P→Q)↑(Q↓Q)，求A* 解： A ?(￢P∨Q)↑(Q↓Q) A* =(￢P∧Q) ↓(Q↑Q) 可得 ￢P ? P↓P ?(P↓Q) ↓(P↓Q) P∨Q P∧Q ?(P↓P) ↓(Q↓Q) 对偶性质 若 A?B ，则 A*?B* 逻辑联结词￢， ∧， ∨均可由 ↑和↓表示 ￢P P∧Q ?￢￢(P∧Q) ?￢(P↑Q) ?(P↑Q)↑(P↑Q) ? P↑P ?￢(P∧P) P∨Q ?￢￢(P∨Q) ?￢(￢P∧￢Q) ? ￢P↑￢Q ?(P↑P)↑(Q↑Q) 电路中的基本元件是“门”，每种类型的门实现 一种逻辑运算，一种联结词可视为一种运算。 P ￢P 非门(反相器) P Q P∨Q 或门 P Q P∧Q 与门 或非门 P Q P↓Q 与非门 P Q P↑Q P Q P▽Q 不可兼或(异或门) 恰当选取各种门就能表示任一个逻辑表达式。 经过联结后的“门”图称为逻辑网络（组合网络）。 一个命题公式有多种等价表现形式，所以形成它的 逻辑网络也不同。设计时，考虑到简单和经济因素， 应尽可能选用较少的门，类型较单一的门来实现。 例6.3 某仓库的警报系统，只在保卫部门的一个 人工控制开关关闭时进行工作。当此人工控制开关 关闭时，如果通向设施范围内禁区的门有盗贼进入， 或者保卫人员还没有关闭专门开关时，设施的主要 入口就已打开，则报警器鸣响。设计此控制线路。 解：依据题意，报警器鸣响的条件： ①人工控制开关关闭 ② 通向设施范围内禁区的门有盗贼进入 保卫人员还没有关闭专门开关时，设施的主要 入口就已打开。 或者 对问题符号化 B：人工控制开关关闭。 C：设施的主要入口打开。 D：禁区的门有盗贼进入。 E: 关闭专门开关。 B∧(D∨(￢E∧C)) 设计此控制线路 令 A=B∧(D∨(￢E∧C))， B，C，D，E皆为输入信号，A为输出信号。 E C D B A 例6.4 某航空公司，为了保证安全，用三台计算机 同时复核飞行计划是否正确，根据计算机所给的答 案，按照少数服从多数的原则作出计划是否正确的 判断，试画出逻辑网络。 解：设P，Q，R分别表示三台计算机给出的判断结果（假设1为正确，0为不正确），C表示最终的判断结果，由题意可得真值表 P Q R C 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 由此真值表可写出C与P、Q、R的关系式 C= (P∧Q∧R) ∨(P∧Q∧￢R) ∨(P∧￢Q∧R) ∨(￢P∧Q∧R) C=(P∧Q) ∨(P∧R)∨(Q∧R) C=(P∧Q) ∨(P∧R)∨(Q∧R) P Q R C 联结词：￢ ，∧， ∨，→，?，▽，↑，↓ 此外，条件联结词→的否定式，记做 ? ￢(P→Q) 1-1-7 逻辑联结词的功能完备集 定义7.1 E是若干个逻辑联结词的集合，如果任一 命题公式都可以由且仅由E中联结词构造的公式等价 表示，则称E是联结词功能完备集。 若E是联结词功能完备集，且删去E中任一个联结 词X后，至少有一个命题公式不能由E-{X}中联结词 构造的公式等价表示，则称E是一个最小联结词组 或功能完备集。 {￢ ，∧，∨} {￢ ，∧} {￢ ，∨} {↑}，{↓} 1.设p：星期六天气好，q：我去公园玩。将下列命题符号化。 （1）只要星期六天气好，我就去公园玩。? （2）只有星期六天气好，我才去公园玩。 （3）除非星期六天气好，否则我不去公园玩。 （1）p→q （2）q→p （3）q→p 设p： ???是无理数，q：北京比天津人口多，r：美国的首都是旧金山。求下列各公式的真值： ?（1）(p∨q)→r??????? ? ?（2）(q∨r)→(p→┐r)??????? ?（3）(q→r) ???(p∧┐r)??????