对偶律(德摩根公式)
事件并的对立等于对立的交:
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∪nAi=i=1∩nAi
∩i=1nAi‾=∪i=1nAi‾\overline{\mathop{\cap}\limits^n_{i=1}A_i}=\mathop{\cup}\limits_{i=1}^n\overline{A_i}i=1∩nAi=i=1∪nAi
对偶律(德摩根公式)相关推荐
- 【集合论】集合恒等式 ( 幂等律 | 交换律 | 结合律 | 分配率 | 德摩根律 | 吸收率 | 零律 | 同一律 | 排中律 | 矛盾律 | 余补律 | 双重否定定律 | 补交转换律 )
文章目录 一. 集合恒等式 二. 集合恒等式推广到集族 一. 集合恒等式 1. 幂等律 : A∪A=AA \cup A = AA∪A=A , A∩A=AA \cap A = AA∩A=A 2. 交换律 ...
- 【数理逻辑】命题逻辑 ( 等值演算 | 幂等律 | 交换律 | 结合律 | 分配律 | 德摩根律 | 吸收率 | 零律 | 同一律 | 排中律 | 矛盾律 | 双重否定率 | 蕴涵等值式 ... )
文章目录 一.等值演算 二.等值式 三.基本等值式 四.基本运算 五.等值演算 基于上一篇博客 [数理逻辑]命题逻辑 ( 命题与联结词回顾 | 命题公式 | 联结词优先级 | 真值表 可满足式 矛盾式 ...
- 集合对偶律:分别用图文证明
集合几个法则: 求证: 注:右上角C表示此集合的补集/余集 语言描述:A 并 B的补集 = A的补集 交 B的补集 A交B的补集 = A的补集 并 B的补集 文字证明:(思路:证明两个集合相等,可证 ...
- 【数学基础】德摩根定理
在命题逻辑和逻辑代数中,德·摩根定律是关于命题逻辑规律的一对法则. 对应的公式: 非(P与Q)=(非P)或(非Q)AB‾=A‾+B‾非(P或Q)=(非P)与(非Q)A+B‾=A‾B‾非(P 与 Q) ...
- linux cpu数理,Linux中的 德·摩根定律
Linux中的德·摩根定律 §·德·摩根定律介绍 ※概念 在命题逻辑和逻辑代数中,德·摩根定律(或称德·摩根定理)是关于命题逻辑规律的一对法则. 奥古斯塔斯·德·摩根首先发现了在命题逻辑中存在着下面这 ...
- 以洪荒之力打开linux德·摩根定律
德·摩根定律让学习liunx的小伙伴绕得头疼,现在我就用洪荒之力为大家理顺一下这个定律. 由图片可以看出, A=4+3 B=3+2 非A=2+1 非B=4+1 A且B就是代表既是A又是B的地方,A和B ...
- 大白话理解德摩根定律(De Morgan‘s Laws)
大白话理解德摩根定律(De Morgan's Laws) 说明 德摩根定律 简介 引理1 引理2 证明 证明的思路 引理1的证明过程 ①证明等式左边集合是等式右边集合的子集 ②证明等式右边集合是等式左 ...
- 阿基米德螺旋公式的再认识
阿基米德螺旋.渐开线螺旋.风螺旋是等距螺旋的典型特例,它们的计算公式可以统一用等距螺旋公式来表示. 等距螺旋的理论基础是圆周运动与直线运动的叠加,它的形态与运动的方向.速度的大小有密切的关系. 假定圆 ...
- 德.摩根定律及其理解
德.摩根定律的定义如下: 文字描述如下: 使用对偶性可以很方便的记忆和使用这个定律.. 我们知道如下关系呈现对偶关系,可以认为是"非"的关系: 那么将 利用对偶关系对应改写可以得到 ...
最新文章
- github创建本地库后关联远程库
- BaseControl按钮合集
- 线段树(结构体建法_QAQ)
- [转]“UPA 中国”北京行业聚会笔录
- python数据库优化_python | Mysql性能优化一
- 3650m5服务器内存选择 ibm_各大品牌服务器租用价格表明细(附详细表单)
- 兼容iOS 10 资料整理笔记
- 京东发布公告禁售87款游戏
- [转] 网页不需要漂亮 Ⅰ
- 计算机或移动设备如何连接网络,移动cmcc电脑和手机使用方法
- Hosts 文件作用及如何修改
- vue-router模块划分
- cocos2dx 插件Babelua的配置和使用
- 打造全功能的NERO
- 三维绘图plot3命令ezplot3命令三维网格命令mesh命令
- java 压制警报_适用于Java开发人员的微服务:监视和警报
- spring使用之旅(二) ---- AOP的使用
- 操作系统实验三虚拟存储器管理之模拟页面置换算法(FIFOLRU)
- BOF和EOF的区别
- 使用IJ写scala的两种方式
热门文章
- docker mac 命令行登录报错处理 : Error saving credentials: error storing credentials - err: exit status 1
- 为什么qq空间留不了言,又创建/删不了相册?
- 常见html5营销类型有哪些,五种常见的营销策略
- SQL 结构化查询语言
- 阿里云推出SRT 杜比全景声直播方案,低成本打造高质量直播观感体验
- 七十条超经典英文爱情箴言
- 第一类曲线、曲面积分计算公式
- 使用jodd-email实现邮件发送
- 模拟实现strlen,strcpy函数
- 基于安卓的校园二手交易系统