西安电子科技大学离散数学软件学院第一篇数理逻辑第1章命题逻辑1.1命题第1课时V第2课时1.2命题公式大第3课时1.3逻辑等价式与永真蕴含式第4课时1.4主范式Y第5课时1.5命题逻辑推理与证明方法第6课时→1.6命题逻辑的应用
西安电子科技大学 离散数学 软件学院 第一篇 数理逻辑 第1课时 1.1 命题 第1章 命题逻辑 1.3 逻辑等价式与永真蕴含式 1.2 命题公式 1.4 主范式 1.5 命题逻辑推理与证明方法 第2课时 第3课时 第4课时 第5课时 第6课时 1.6 命题逻辑的应用
西安电子科技大学$1.6.1 组合逻辑电路软件学院家家设命题逻辑联结词对应的门电路符号如下：PVoPAQ与门反相门或门
西安电子科技大学 §1.6.1 组合逻辑电路 软件学院 设命题逻辑联结词对应的门电路符号如下： P ¬P 反相门 P Q ∧ QP 与门 P Q ∨ QP 或门
西安电子科技大学$1.6.1组合逻辑电路软件学院【例题】给出以下组合逻辑电路的输出A的命题表达式。P解答：A(P ^Q)V(- PAQ)Q
西安电子科技大学 §1.6.1 组合逻辑电路 软件学院 【例题】给出以下组合逻辑电路的输出A的命题表达式。 解答： A ⇔ (P ∧Q)∨(¬ P∧Q)
西安电子科技大学S1.6.1组合逻辑电路软件学院家家【例题】一次举重比赛由甲、乙、丙三名裁判共同表决，比赛结果A采用“少数服从多数”的原则判定。当运动员举完杠铃后，每名裁判可以按自己的表决器来裁决该名运动员是举起成功还是失败。设P：甲裁判判定成功Q：乙裁判判定成功R：丙裁判判定成功（a）请写与A等价的仅含命题变元P、Q、R的命题；(b）如果已知输入P、Q、R，请设计一个组合逻辑门电路计算最终的表决结果A，要求尽量简化门电路的使用
西安电子科技大学 §1.6.1 组合逻辑电路 软件学院 【例题】一次举重比赛由甲、乙、丙三名裁判共同表决， 比赛结果A采用“少数服从多数”的原则判定。当运动员 举完杠铃后，每名裁判可以按自己的表决器来裁决该名运 动员是举起成功还是失败。 设P：甲裁判判定成功 Q：乙裁判判定成功 R：丙裁判判定成功 （a）请写与A等价的仅含命题变元P、Q、R的命题； （b）如果已知输入P、Q、R，请设计一个组合逻辑门电 路计算最终的表决结果A，要求尽量简化门电路的使用
西安电子科技大学$1.6.1组合逻辑电路软件学院解答：写出命题公式A的真值表。PQRA(P, Q, R)00O00001010011011000101111011111二、写出命题公式A的主析取范式。A(-P AQAR)V(P△-QAR)V(PAQA-R) V(P △QAR)
西安电子科技大学 §1.6.1 组合逻辑电路 软件学院 解答： 一、写出命题公式A的真值表。 二、写出命题公式A的主析取范式。 A ⇔ (¬P ∧Q∧R)∨(P∧¬Q∧ R)∨(P∧Q∧¬ R) ∨(P ∧ Q∧R )