【离散数学笔记】逻辑运算之吸收律

吸收律：
$$(1)A\vee (A\wedge B)\iff A$$$$(2)A\wedge (A\vee B)\iff A$$
证法一： 先证明这两个定律等价。由$(1)$：
$$A\vee (A\wedge B)\iff (A\vee A)\wedge (A\vee B)\iff A\wedge (A\vee B)$$此即$(2)$。
因此只需证明$(1)$成立。
当$B=1$时，$A\vee (A\wedge B)\iff A\vee (A\wedge 1)\iff A\vee A\iff A$；
当$B=0$时，$A\vee (A\wedge B)\iff A\vee (A\wedge 0)\iff A\vee 0\iff A$，
故知$(1)$成立。

证法二：
$(1)$ $A\vee (A\wedge B)\iff (A\wedge 1)\vee (A\wedge B)\iff A\wedge (1\vee B)\iff A\wedge 1\iff A$
$(2)$ $A\wedge (A\vee B)\iff (A\vee 0)\wedge (A\vee B)\iff A\vee (0\wedge B)\iff A\vee 0\iff A$

---

用集合来理解：

(1) $A\vee (A\wedge B)$就是在上图中就是$A\cup (A\cap B)$，而$(A\cap B)\subseteq A$，所以$A\cup (A\cap B)=A$。
(2) $A\wedge (A\vee B)$就是在上图中就是$A\cap (A\cup B)$，而$A\subseteq (A\cup B)$，所以$A\cap (A\cup B)=A$。