企业官网建设流程全解析

## 一、知识框架

### 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?id=1832487104586642306

2. 百度教育——德摩根定律（对偶公式）完整表述：

https://easylearn.baidu.com/edu-page/tiangong/questiondetail?id=1831919478289913540

3. 百度教育——集合运算性质：交换律/结合律/分配律/吸收律/De Morgan 律：

https://easylearn.baidu.com/edu-page/tiangong/questiondetail?id=1826596532136306402

4. CSDN——集合论与人工智能：从基础运算到 Python 落地（并/交/差/对称差与 set 类型对应）：

https://blog.csdn.net/weixin_42663213/article/details/167783762

5. 百度教育——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?id=1837687704956822288

---