★ FEATURED ARTICLE ## 一、知识框架### 1.1 集合的基本运算设全集为 $U$$A$、$B$ 为其子集| 运算 | 记号 | 定义 ||---|---|---|| 并 | $A \cup B$ | 属于 $A$ **或**属于 $B$ 的元素 || 交 | $A \cap B$ | 属于 $A$ **且**属于 $B$ 的元素 || 差 | $A \setminus B$ | 属于 $A$ 但**不属于** $B$ 的元素 || 补余集 | $A^c$或 $\complement_U A$ | $U$ 中不属于 $A$ 的元素即 $U \setminus A$ |**补集的基本性质**设全集 $U$1. $A \cup A^c U$$A \cap A^c \varnothing$2. $(A^c)^c A$3. $\varnothing^c U$$U^c \varnothing$### 1.2 对称差Symmetric Difference$$A \,\triangle\, B (A \cup B) \setminus (A \cap B) (A \setminus B) \cup (B \setminus A)$$**直观理解**属于两者之一但**不属于两者共有**的元素即异或对应的集合运算。- $A \,\triangle\, B$ 的元素个数 $ |A| |B| - 2|A \cap B|$。### 1.3 运算律集合运算满足交换律、结合律、分配律、吸收律。其中最重要的是 **De Morgan 律德摩根定律**$$\complement_U(A \cup B) A^c \cap B^c$$$$\complement_U(A \cap B) A^c \cup B^c$$**口诀**取补后并变交、交变并每个集合各自取补。### 1.4 命题逻辑的对应关系命题逻辑与集合运算有严格的类比且 ↔ 交、或 ↔ 并、非 ↔ 补| 命题逻辑 | 集合 | 记号 ||---|---|---|| $P \land Q$且 | 交 | $\cap$ || $P \lor Q$或 | 并 | $\cup$ || $\lnot P$非 | 补 | $^c$ |**逻辑 De Morgan 律**$$\lnot(P \land Q) \lnot P \lor \lnot Q, \qquad \lnot(P \lor Q) \lnot P \land \lnot Q$$### 1.5 分配律展开逻辑版的提取公因子$$A \land (B \lor C) (A \land B) \lor (A \land C)$$$$P \land (Q \lor R) \iff (P \land Q) \lor (P \land R)$$注意$P \land (Q \lor \lnot R)$ **不能**化简为 $P \land Q \lor \lnot R$括号不可以随意省略——这是常见出错点。---## 二、重点公式速查| 公式 | 内容 ||---|---|| 对称差 | $A \,\triangle\, B (A \cup B)\setminus(A \cap B)$ || De Morgan集合 | $(A\cup B)^c A^c \cap B^c$$(A\cap B)^c A^c \cup B^c$ || De Morgan逻辑 | $\lnot(P\land Q) \iff \lnot P \lor \lnot Q$ || 命题化简范式 | $\lnot(P \land \lnot Q) \iff \lnot P \lor Q$ || 容斥计数 | $\|A \cup B\| \|A\| \|B\| - \|A\cap B\|$ |---## 三、试卷题目精讲### 选择题 1对称差与交集答案B**题**设 $A \{1,2,3,4,5\}$$B \{4,5,6,7\}$$S \{1,4,6,8\}$。求 $(A \,\triangle\, B) \cap S$ 的元素个数。**解**1. 求交集$A \cap B \{4,5\}$。2. 求对称差$A \,\triangle\, B (A\cup B)\setminus(A\cap B) \{1,2,3,6,7\}$。- 验证$A \cup B \{1,2,3,4,5,6,7\}$去掉共有的 $4,5$剩 $\{1,2,3,6,7\}$。3. 与 $S \{1,4,6,8\}$ 取交集共同元素只有 $1$ 和 $6$。$$(A \,\triangle\, B) \cap S \{1, 6\}, \quad \text{元素个数} \boxed{2}$$ 另法计数公式$|A \triangle B| 5 4 - 2\times 2 5$即 $\{1,2,3,6,7\}$结果一致。### 选择题 2逻辑等价命题答案B**题**命题「非$P$ 且 非 $Q$」等价于——**解**记「非 $Q$」为 $\lnot Q$。所求为 $\lnot(P \land \lnot Q)$。由 De Morgan 律$$\lnot(P \land \lnot Q) \lnot P \lor \lnot(\lnot Q) \lnot P \lor Q$$即「非 P**或** Q」。答案为 **B**。 检验真值表抽验取 $P$ 真、$Q$ 假。则 $P \land \lnot Q$ 为真其否定为**假**而 $(\lnot P)\lor Q 假 \lor 假 $ **假** ✓选项 A非P且Q为假但另一组取值时两者不同可排除 ✓。### 简答题 11补集运算与 De Morgan 律验证**题**全集 $U \{1,2,3,4,5,6\}$$A \{1,2,3\}$$B \{3,4\}$。分别求 $(A\cup B)$ 的补集以及 $A$ 的补集与 $B$ 的补集的交集。**解**1. $A \cup B \{1,2,3,4\}$。$$(A\cup B)^c U \setminus \{1,2,3,4\} \{5,6\}$$2. $A^c \{4,5,6\}$$B^c \{1,2,5,6\}$。$$A^c \cap B^c \{4,5,6\} \cap \{1,2,5,6\} \{5,6\}$$两者相等这正是 **De Morgan 律**的具体验证$$(A\cup B)^c A^c \cap B^c \{5,6\}$$### 综合题 26用集合运算做权限判定**题**某系统用员工编号决定是否允许导出生产日志。可读日志的集合 $A \{1,2,3,4,5,6\}$本周值班的集合 $B \{4,5,7\}$试用期的集合 $C \{2,6,7\}$。允许导出的人是既可读日志又不在试用期或者既可读日志又在值班。**(1) 用集合运算写出允许导出的集合2 分**「可读日志 且 不在试用期」 $A \cap C^c$也可写作 $A \setminus C$「可读日志 且 在值班」 $A \cap B$。$$\boxed{(A \cap C^c) \cup (A \cap B)}$$利用分配律可化简为 $A \cap (C^c \cup B)$即可读日志且不在试用期或正在值班。**(2) 算出这个集合的全部元素3 分**- $A \cap B \{4,5,6\} \cap \{4,5,7\} \{4,5\}$- $A \setminus C \{1,2,3,4,5,6\} \setminus \{2,6,7\} \{1,3,4,5\}$- 并集$\{4,5\} \cup \{1,3,4,5\} \{1,3,4,5\}$$$\text{允许导出的集合} \{1,3,4,5\}$$**(3) 员工 6 是否允许导出1 分**员工 6$6 \in A$可读日志但 $6 \in C$在试用期且 $6 \notin B$不在值班。- $6 \notin A \cap B$6 不在值班集合中- $6 \notin A \setminus C$6 在试用期中被排除。两个条件都不满足**员工 6 不允许导出**。---## 四、易错点提醒1. **对称差 ≠ 并集**$A \,\triangle\, B$ 要把**共有元素去掉**。第 1 题若误用并集 $A\cup B \{1,...,7\}$与 $S$ 交集为 $\{1,4,6\}$会错选 C。2. **De Morgan 的取反次数**$\lnot(\lnot Q) Q$双重否定要消除第 2 题关键。3. **且/或不可互换**$\lnot(P \land \lnot Q)$ 化为 $\lnot P \land Q$ 是错的——德摩根定律要求 $\land$ 变 $\lor$。4. **权限题先圈定全集**表达式中所有集合都应先与 $A$可读日志求交值班本身如员工 7没有读日志权限时不能导出。5. **补集必须相对某个全集**写 $A^c$ 前先明确 $U$无全集谈不上补集。---## 五、与计算机科学的联系- **权限控制ACL / RBAC**第 26 题就是访问控制的最小模型——权限 角色集合 $\cap$ 资源集合的组合逻辑。数据库中的 REVOKE/GRANT 本质上是集合运算。- **位运算**按位异或 xor 就是集合的对称差and 对应交、or 对应并、not 对应补。掩码mask运算是集合运算的位级实现。- **SQL 查询**UNION并可去重、UNION ALL多重并、INTERSECT交、EXCEPT差直接对应本篇的四种运算。- **布尔检索 / 倒排索引**搜索引擎把关键词 A 且 B实现为两个倒排链表的**交集**A 或 B为**并集**排除 C为**差集**De Morgan 律用于查询改写与优化。---## 六、参考来源联网核实1. 百度教育——余集补集的定义与性质含 De Morgan 律$(A\cup B)^c A^c \cap B^c$https://easylearn.baidu.com/edu-page/tiangong/questiondetail?id18324871045866423062. 百度教育——德摩根定律对偶公式完整表述https://easylearn.baidu.com/edu-page/tiangong/questiondetail?id18319194782899135403. 百度教育——集合运算性质交换律/结合律/分配律/吸收律/De Morgan 律https://easylearn.baidu.com/edu-page/tiangong/questiondetail?id18265965321363064024. CSDN——集合论与人工智能从基础运算到 Python 落地并/交/差/对称差与 set 类型对应https://blog.csdn.net/weixin_42663213/article/details/1677837625. 百度教育——De Morgan 律的完整证明$(\complement_U A)\cap(\complement_U B) \complement_U(A\cup B)$ 与 $(\complement_U A)\cup(\complement_U B) \complement_U(A\cap B)$https://easylearn.baidu.com/edu-page/tiangong/questiondetail?id1837687704956822288---
阅读完成 · 觉得有帮助？
