事件并的对立等于对立的交:

A∪B‾=A‾∩B‾\overline{A\cup B}=\overline{A}\cap\overline{B}A∪B=A∩B

事件交的对立等于对立的并:

A∩B‾=A‾∪B‾\overline{A\cap B}=\overline{A}\cup\overline{B}A∩B=A∪B

推广:

∪i=1nAi‾=∩i=1nAi‾\overline{\mathop{\cup}\limits^n_{i=1}A_i}=\mathop{\cap}\limits_{i=1}^n\overline{A_i}i=1∪n​Ai​​=i=1∩n​Ai​​

∩i=1nAi‾=∪i=1nAi‾\overline{\mathop{\cap}\limits^n_{i=1}A_i}=\mathop{\cup}\limits_{i=1}^n\overline{A_i}i=1∩n​Ai​​=i=1∪n​Ai​​

对偶律(德摩根公式)相关推荐

  1. 【集合论】集合恒等式 ( 幂等律 | 交换律 | 结合律 | 分配率 | 德摩根律 | 吸收率 | 零律 | 同一律 | 排中律 | 矛盾律 | 余补律 | 双重否定定律 | 补交转换律 )

    文章目录 一. 集合恒等式 二. 集合恒等式推广到集族 一. 集合恒等式 1. 幂等律 : A∪A=AA \cup A = AA∪A=A , A∩A=AA \cap A = AA∩A=A 2. 交换律 ...

  2. 【数理逻辑】命题逻辑 ( 等值演算 | 幂等律 | 交换律 | 结合律 | 分配律 | 德摩根律 | 吸收率 | 零律 | 同一律 | 排中律 | 矛盾律 | 双重否定率 | 蕴涵等值式 ... )

    文章目录 一.等值演算 二.等值式 三.基本等值式 四.基本运算 五.等值演算 基于上一篇博客 [数理逻辑]命题逻辑 ( 命题与联结词回顾 | 命题公式 | 联结词优先级 | 真值表 可满足式 矛盾式 ...

  3. 集合对偶律:分别用图文证明

    集合几个法则: 求证: 注:右上角C表示此集合的补集/余集 语言描述:A 并 B的补集 = A的补集 交  B的补集 A交B的补集 = A的补集 并 B的补集 文字证明:(思路:证明两个集合相等,可证 ...

  4. 【数学基础】德摩根定理

    在命题逻辑和逻辑代数中,德·摩根定律是关于命题逻辑规律的一对法则. 对应的公式: 非(P与Q)=(非P)或(非Q)AB‾=A‾+B‾非(P或Q)=(非P)与(非Q)A+B‾=A‾B‾非(P 与 Q) ...

  5. linux cpu数理,Linux中的 德·摩根定律

    Linux中的德·摩根定律 §·德·摩根定律介绍 ※概念 在命题逻辑和逻辑代数中,德·摩根定律(或称德·摩根定理)是关于命题逻辑规律的一对法则. 奥古斯塔斯·德·摩根首先发现了在命题逻辑中存在着下面这 ...

  6. 以洪荒之力打开linux德·摩根定律

    德·摩根定律让学习liunx的小伙伴绕得头疼,现在我就用洪荒之力为大家理顺一下这个定律. 由图片可以看出, A=4+3 B=3+2 非A=2+1 非B=4+1 A且B就是代表既是A又是B的地方,A和B ...

  7. 大白话理解德摩根定律(De Morgan‘s Laws)

    大白话理解德摩根定律(De Morgan's Laws) 说明 德摩根定律 简介 引理1 引理2 证明 证明的思路 引理1的证明过程 ①证明等式左边集合是等式右边集合的子集 ②证明等式右边集合是等式左 ...

  8. 阿基米德螺旋公式的再认识

    阿基米德螺旋.渐开线螺旋.风螺旋是等距螺旋的典型特例,它们的计算公式可以统一用等距螺旋公式来表示. 等距螺旋的理论基础是圆周运动与直线运动的叠加,它的形态与运动的方向.速度的大小有密切的关系. 假定圆 ...

  9. 德.摩根定律及其理解

    德.摩根定律的定义如下: 文字描述如下: 使用对偶性可以很方便的记忆和使用这个定律.. 我们知道如下关系呈现对偶关系,可以认为是"非"的关系: 那么将 利用对偶关系对应改写可以得到 ...

最新文章

  1. github创建本地库后关联远程库
  2. BaseControl按钮合集
  3. 线段树(结构体建法_QAQ)
  4. [转]“UPA 中国”北京行业聚会笔录
  5. python数据库优化_python | Mysql性能优化一
  6. 3650m5服务器内存选择 ibm_各大品牌服务器租用价格表明细(附详细表单)
  7. 兼容iOS 10 资料整理笔记
  8. 京东发布公告禁售87款游戏
  9. [转] 网页不需要漂亮 Ⅰ
  10. 计算机或移动设备如何连接网络,移动cmcc电脑和手机使用方法
  11. Hosts 文件作用及如何修改
  12. vue-router模块划分
  13. cocos2dx 插件Babelua的配置和使用
  14. 打造全功能的NERO
  15. 三维绘图plot3命令ezplot3命令三维网格命令mesh命令
  16. java 压制警报_适用于Java开发人员的微服务:监视和警报
  17. spring使用之旅(二) ---- AOP的使用
  18. 操作系统实验三虚拟存储器管理之模拟页面置换算法(FIFOLRU)
  19. BOF和EOF的区别
  20. 使用IJ写scala的两种方式

热门文章

  1. docker mac 命令行登录报错处理 : Error saving credentials: error storing credentials - err: exit status 1
  2. 为什么qq空间留不了言,又创建/删不了相册?
  3. 常见html5营销类型有哪些,五种常见的营销策略
  4. SQL 结构化查询语言
  5. 阿里云推出SRT 杜比全景声直播方案,低成本打造高质量直播观感体验
  6. 七十条超经典英文爱情箴言
  7. 第一类曲线、曲面积分计算公式
  8. 使用jodd-email实现邮件发送
  9. 模拟实现strlen,strcpy函数
  10. 基于安卓的校园二手交易系统