1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 高等教育
  5. 理学

离散数学 课件 1.3等值演算.pptx

离散数学 课件 1.3等值演算.pptx

    1.3等值演算;基本等值式;排中律:A??A?1

    矛盾律:A??A?0;等值演算:

    由已知的等值式推演出新的等值式的过程

    置换规则：若A?B,则?(B)??(A)

    ;例证明p?(q?r)?(p?q)?r

    证p?(q?r)

    ??p?(?q?r)（蕴涵等值式，置换规则）

    ?(?p??q)?r（结合律，置换规则）

    ??(p?q)?r（德?摩根律，置换规则）

    ?(p?q)?r（蕴涵等值式，置换规则）?;例证明:p?(q?r)(p?

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >