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

seh_sjlj

已于 2022-11-10 17:18:52 修改

阅读量1.8w

点赞数 33

分类专栏：离散数学文章标签：数学逻辑推理学习经验分享

于 2022-01-28 12:27:53 首次发布

本文链接：https://blog.csdn.net/qaqwqaqwq/article/details/122729471

版权

离散数学专栏收录该内容

5 篇文章

订阅专栏

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

证法二：
$(1)$ $A\lor(A\land B)\Leftrightarrow (A\land 1)\lor(A\land B)\Leftrightarrow A\land(1\lor B)\Leftrightarrow A\land 1\Leftrightarrow A$
$(2)$ $A\land(A\lor B)\Leftrightarrow (A\lor 0)\land(A\lor B)\Leftrightarrow A\lor(0\land B)\Leftrightarrow A\lor 0\Leftrightarrow A$

用集合来理解：
维恩图
(1) $A\lor(A\land B)$ 就是在上图中就是 $A\cup(A\cap B)$ ，而 $(A\cap B)\subseteq A$ ，所以 $A\cup(A\cap B)=A$ 。
(2) $A\land(A\lor B)$ 就是在上图中就是 $A\cap(A\cup B)$ ，而 $A\subseteq(A\cup B)$ ，所以 $A\cap(A\cup B)=A$ 。