逻辑运算与集合的关系

含有有限个元素的布尔代数总是与集合代数同构。具体来说，基于\left\{0, 1\right\}的布尔代数与\left\{\varnothing, \left\{1\right\}\right\}的集合代数同构。许多逻辑运算中的概念可以在集合运算中找到对应概念。这里列举出几个常见的对应关系：

逻辑运算的概念 对应的集合论的概念
与 交集
或 并集
非 补集
异或 对称差
\rightarrow \subseteq
(0\rightarrow 0 = 1)\wedge (0\rightarrow 1 = 1) 空集是任何集合的子集
©著作权归作者所有,转载或内容合作请联系作者
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。

推荐阅读更多精彩内容