电子文档交易市场
安卓APP | ios版本
电子文档交易市场
安卓APP | ios版本

真值表与等价公式课件

25页
  • 卖家[上传人]:我***
  • 文档编号:141251356
  • 上传时间:2020-08-05
  • 文档格式:PPT
  • 文档大小:144KB
  • / 25 举报 版权申诉 马上下载
  • 文本预览
  • 下载提示
  • 常见问题
    • 1、2020/8/5,1,离散数学(Discrete Mathematics),医学信息工程系, ,2020/8/5,第1章 命题逻辑(Propositional Logic) 1.4真值表与等价公式,1.4.1 真值表(Truth Table) 1.4.2 等价公式(Propositional Equivalences) 1.4.1 真值表 前面在定义联结词时,曾经使用过真值表,下面给出 真值表的定义. 定义1.4.1 (对公式的赋值或解释)设P1 , P2 ,Pn是出 现在公式A中的全部的命题变元, 给P1 , P2 ,Pn各指 定一个真值,称为对A的一个赋值或解释。若指定的 一组值使A的真值为真(假), 称这组值为A的成真(假)赋值.,2020/8/5,比如:对公式(PQ)R,赋值011(即令P=0,Q=1,R=1) 为(PQ)R的成真赋值; 另一组赋值010为(PQ)R的成假赋值;还有000,001,111 考虑:含有n个命题变元的公式共有多少组不同的赋值? 定义1.4.2(真值表)在命题公式A中, 对于命题变元的每一组赋值和由它们所确定的命题公式A的真值列成表,称做命题公式A 的

      2、真值表。,2020/8/5,对公式A构造真值表的具体步骤为: (1)找出公式中所有命题变元P1 , P2 ,Pn , 列出全部的2n组赋值。 (2)确定过渡子公式,并加入到真值表。 (3)计算各个过渡子公式的真值,并最终计算出公式A的真值。,2020/8/5,例题1:构造 PQ,2020/8/5,例题2:构造(PQ) P,2020/8/5,例题3:构造(PQ)( P Q ),2020/8/5,例题4:构造 (PQ) ( P Q ),2020/8/5,小结: PQ真值表与 PQ 的真值表,等价(逻辑相等): PQ PQ,2020/8/5,小结: P Q 真值表与 (PQ)( PQ )的真值表,等价(逻辑相等): P Q (PQ)( PQ ),2020/8/5,1.4.2 等价公式 给定n个 命题变元, 按合式公式的形成规则可以形成无数多个命题公式, 但这些无穷尽的命题公式中,有些具有相同的真值表。考虑:由n个命题变元能生成? 种真值(表)不同的命题公式?,2020/8/5,1.4.2 等价公式 定义1.4.3: 给定两个命题公式A和B,设P1 , P2 ,Pn为出现于A和B中的所有原子变

      3、元,若给P1 , P2 ,Pn任一组真值指派, A和B的真值都相同,则称A和B是等价的或逻辑相等.记作A B 注: (1) “ ”不是逻辑联结词. (2)命题公式之间的逻辑相等关系具有: 自反性:A A ;对称性:若A B,则B A; 传递性:若A B且B C,则A C。,2020/8/5,证明公式等价的方法: 1. 真值表法 2. 等值演算法,例题5: 证明P Q (PQ)(QP),2020/8/5,例:判断公式 P(QR)、(PQ)R是否等价。,2020/8/5,2、等值演算法(Equivalent Caculation),2020/8/5,2020/8/5,重要的等价式(补充):,2020/8/5,其中P, Q, R等代表任意命题公式. 这样上面的每一个公式都是一个模式, 它可以代表无数多个同类型的命题公式. 例如, PP1 中, 用(PQ)置换P,则得 (PQ)(PQ)1 ,用P置换P,则得 (P)(P)1 。 等值演算中使用的一条重要规则:置换规则。 定义1.4.4(子公式):如果X是wff A的一部分,且X本身也是wff,则称X是A的子公式。例如, P(PQ)为Q (P(P

      4、Q)的子公式。,2020/8/5,定理1.4.1(置换定理Axiom of replacement)设X是wff A的子wff,若XY,则若将A中的X用Y来置换,所得公式B与A等价,即AB。 证:因为对变元的任一指派,X与Y真值相同,所以Y 取代X后,公式B与公式A对变元的任一指派真值 也相同,所以AB。 注: 满足定理1.4.1的条件的置换称为等价置换(或等价代换). 定义1.4.5(等值演算):根据已知的等价公式,推演出另外一些等价公式的过程称为等值演算.,2020/8/5,例1:证明 Q(P(PQ)QP,证: Q(P(PQ) QP,(吸收律),2020/8/5,例2: 证明 PQQPQ 证: (PQ)Q (PQ)(QQ) (分配律) (PQ)1 (否定律) PQ (同一律),2020/8/5,例3:证明(PQ)(QR) PQR 证: (PQ)(QR) (PQ)(QR) (蕴含等值式) (PQ)(QR) (蕴含等值式) (PQ)(QR) (德。摩根律) (PQR)(QQR) (分配律) PQR (否定律、零一律),2020/8/5,例4:验证P(QR) (P Q) R 证: 右 (P Q) R (蕴含等值律) P Q R (德.摩根律) P ( Q R) (组合律) P (Q R) (蕴含等值律) P (Q R) (蕴含等值律),2020/8/5,练: 1.(P Q) (P R) P (Q R) 2.(P Q) ( P Q) (P Q) (P Q),2020/8/5,第1章 命题逻辑(Propositional Logic) 1.4真值表与等价公式,等值演算在计算机硬件设计中,在开关理论和电子元器件中都占有重要地位. 小结: 本节介绍了真值表、公式等价、等值演算和等价置换等概念,给出了常用的重要等价公式(24个)。重点掌握用真值表法验证公式的等价性和等值演算法推演两个公式等价。,

      《真值表与等价公式课件》由会员我***分享,可在线阅读,更多相关《真值表与等价公式课件》请在金锄头文库上搜索。

      点击阅读更多内容
    TA的资源
  • 2020届中考英语备考复习-作文课件

    2020届中考英语备考复习-作文课件

  • 2019年中考英语复习-专题十五-交际运用(试卷部分)课件

    2019年中考英语复习-专题十五-交际运用(试卷部分)课件

  • 2019届二轮复习-高中英语-情态动词和虚拟语气课件

    2019届二轮复习-高中英语-情态动词和虚拟语气课件

  • 2019届一轮复习苏教版物质的跨膜运输课件

    2019届一轮复习苏教版物质的跨膜运输课件

  • 2019年北师大版英语单元复习课件::Unit17Laughter课件北师大版选修6

    2019年北师大版英语单元复习课件::Unit17Laughter课件北师大版选修6

  • 2021届新中考物理冲刺备考复习-力-弹力-重力课件

    2021届新中考物理冲刺备考复习-力-弹力-重力课件

  • 2019届一轮复习人教版种群的特征和数量变化课件

    2019届一轮复习人教版种群的特征和数量变化课件

  • 2020年高考地理一轮复习--等高线地形图-课件

    2020年高考地理一轮复习--等高线地形图-课件

  • 2019版高考英语一轮复习-Unit-1-Living-well课件

    2019版高考英语一轮复习-Unit-1-Living-well课件

  • 2019届一轮复习人教版孟德尔的遗传定律——基因分离定律课件

    2019届一轮复习人教版孟德尔的遗传定律——基因分离定律课件

  • 2019届高三第二轮复习专题二万有引力定律及其应用课件

    2019届高三第二轮复习专题二万有引力定律及其应用课件

  • 2020最新部编版语文五年级上册23-鸟的天堂课件含课后练习

    2020最新部编版语文五年级上册23-鸟的天堂课件含课后练习

  • 2020版高考(浙江)一轮复习:第7讲-细胞呼吸课件

    2020版高考(浙江)一轮复习:第7讲-细胞呼吸课件

  • 2020年新教材高中英语UNIT4HISTORYANDTRADITIONSSectionⅢDiscoveringUsefulStructures课件必修第二册

    2020年新教材高中英语UNIT4HISTORYANDTRADITIONSSectionⅢDiscoveringUsefulStructures课件必修第二册

  • 2019届高考历史二轮复习阶段三专题十三罗斯福新政与当代资本主义的新变化课件2

    2019届高考历史二轮复习阶段三专题十三罗斯福新政与当代资本主义的新变化课件2

  • 2019版高考生物二轮复习-专题三-细胞的生命历程-考点9-细胞分裂过程图像和坐标曲线的识别课件

    2019版高考生物二轮复习-专题三-细胞的生命历程-考点9-细胞分裂过程图像和坐标曲线的识别课件

  • (通史版)2021版高考历史一轮复习第4部分高考讲座(三)2高考非选择题(12分开放探究题)规范答题讲练课件

    (通史版)2021版高考历史一轮复习第4部分高考讲座(三)2高考非选择题(12分开放探究题)规范答题讲练课件

  • 2019届高三地理复习第五讲--《区际联系与区域协调发展》课件

    2019届高三地理复习第五讲--《区际联系与区域协调发展》课件

  • 2021人教部编版历史九年级上册习题课件:第18课美国的独立

    2021人教部编版历史九年级上册习题课件:第18课美国的独立

  • 2020学年新教材高中英语Unit1FoodforthoughtPeriodTwoStartingout课件

    2020学年新教材高中英语Unit1FoodforthoughtPeriodTwoStartingout课件

  • 点击查看更多
    最新标签
    发车时刻表 长途客运 入党志愿书填写模板精品 庆祝建党101周年多体裁诗歌朗诵素材汇编10篇唯一微庆祝 智能家居系统本科论文 心得感悟 雁楠中学 20230513224122 2022 公安主题党日 部编版四年级第三单元综合性学习课件 机关事务中心2022年全面依法治区工作总结及来年工作安排 入党积极分子自我推荐 世界水日ppt 关于构建更高水平的全民健身公共服务体系的意见 空气单元分析 哈里德课件 2022年乡村振兴驻村工作计划 空气教材分析 五年级下册科学教材分析 退役军人事务局季度工作总结 集装箱房合同 2021年财务报表 2022年继续教育公需课 2022年公需课 2022年日历每月一张 名词性从句在写作中的应用 局域网技术与局域网组建 施工网格 薪资体系 运维实施方案 硫酸安全技术 柔韧训练 既有居住建筑节能改造技术规程 建筑工地疫情防控 大型工程技术风险 磷酸二氢钾 2022年小学三年级语文下册教学总结例文 少儿美术-小花 2022年环保倡议书模板六篇 2022年监理辞职报告精选 2022年畅想未来记叙文精品 企业信息化建设与管理课程实验指导书范本 草房子读后感-第1篇 小数乘整数教学PPT课件人教版五年级数学上册 2022年教师个人工作计划范本-工作计划 国学小名士经典诵读电视大赛观后感诵读经典传承美德 医疗质量管理制度 2 2022年小学体育教师学期工作总结 2022年家长会心得体会集合15篇
    关于金锄头网 - 版权申诉 - 免责声明 - 诚邀英才 - 联系我们
    手机版 | 川公网安备 51140202000112号 | 经营许可证(蜀ICP备13022795号)
    ©2008-2016 by Sichuan Goldhoe Inc. All Rights Reserved.