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

本文详细介绍了逻辑代数中的吸收律,并提供了两种不同的证明方法。通过集合论的角度解释了吸收律的直观含义。

吸收律:
(1) A∨(A∧B)⇔A(1)\ A\lor(A\land B)\Leftrightarrow A(1) A(AB)A(2) A∧(A∨B)⇔A(2)\ A\land(A\lor B)\Leftrightarrow A(2) A(AB)A
证法一: 先证明这两个定律等价。由(1)(1)(1)
A∨(A∧B)⇔(A∨A)∧(A∨B)⇔A∧(A∨B)A\lor(A\land B)\Leftrightarrow(A\lor A)\land(A\lor B)\Leftrightarrow A\land(A\lor B)A(AB)(AA)(AB)A(A

评论 6
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值