离散数学.1.5-6.pdfVIP

1.5 联结词全功能集 联结词全功能集 与非联结词,或非联结词 1 联结词的全功能集 定义设S是一个联结词集合，如果任何n(n1) 元 真值函数都可以由仅含S 中的联结词构成的公式表 示，则称S是联结词全功能集. 说明：若S是联结词全功能集，则任何命题公式都 可用S 中的联结词表示. 设S , S 是两个联结词集合，且S S . 若S 是全 1 2 1 2 1 功能集，则S 也是全功能集. 反之，若S 不是全功能 2 2 集，则S 也不是全功能集. 1 2 联结词全功能集实例 定理 {, ∧,∨}、{, ∧}、{, ∨}、{, →}都是 联结词全功能集. 证明每一个真值函数都可以用一个主析取范式表示, 故{, ∧,∨}是联结词全功能集. p ∨q(p ∧q) ，故{, ∧}是全功能集. p ∧q(p ∨q) ，故{, ∨}是全功能集. p →qp ∨q, 故{, →}也是全功能集. 3 复合联结词 与非式: p q(p q) 或非式: p q(p q) 和与, ∧,∨有下述关系: p (p ∧p )p p p ∧q( p ∧q)(p q)(p q)(p q) p ∨q(p ∧q)(p )(q)(p p )(qq) 4 复合联结词(续) p p p p ∧q(p p )(qq) p ∨q(p q)(p q) 定理 {}, {}是联结词全功能集. 可以证明: {∧,∨}不是全功能集, 从而{∧}, {∨}也 不是全功能集. 5 例 例将公式p ∧q化成只含下列各联结词集中的联结 词的等值的公式. (1) {，∨}；(2) {，→}；(3) {↑}；(4) {↓}. 解 (1) p ∧q(p ∨q). (2) p ∧q(p ∨q)(p →q). (3) p ∧qp ∧(q↑q)((p ∧(q↑q))) (p ↑(q↑q))(p ↑(q↑q))↑(p ↑(q↑q)). (4) p ∧q(p ∨q) (p )↓q(p ↓p )↓q. 6 1.6 组合电路  组合电路  逻辑门 与门, 或门, 非门, 与非门, 或非门  奎因-莫可拉斯基方法 7 组合电路 逻辑门: 实现逻辑运算的电子元件. 与门, 或门, 非门. 组合电路:实现命题公式的由电子元件组成的电路. x x ∧y x x ∨y x x y