本文目录一览：
数字电子技术中的分配律 吸收律的证明过程
分配律：A(B+C)=AB+AC
A+BC=(A+B)(B+C)
证明：A+BC=A+AB+AC+BC=A(A+B)+(A+B)C=(A+B)(A+C)
吸收律：A+AB=A
A(A+B)=A
(A+B)(A+C)=A+BC
离散数学吸收律证明
A∧(A∨B)=(A∨0)∧(A∨B)=A∨(0∧B)=A∨0=A
A∪(B∩C)=(A∪B)∩(A∪C)
(A∪B)∩C=（A∩C）∪（B∩C）
取x∈左
即x∈A∪B且x∈C
即(x∈A或x∈B)且x∈C
以第一个式子为例，左式=p∧x≤p，同时p≥p且p∨q≥p，故左式≥右式，得证。
吸收律
(P ∨ 0) ∧ (P ∨ Q) = P ∨ (0 ∧ Q) = P ∨ 0 = P
(P ∧ 1) ∨ (P ∧ Q) = P ∧ (1 ∨ Q) = P ∧ 1 = P
这里的 = 号要理解为公式上的逻辑等价。
吸收律对相干逻辑、线性逻辑和亚结构逻辑不成立。在亚结构逻辑情况下，在恒等式的定义对的自由变量之间没有一一对应。
不太懂逻辑运算中的吸收原则，有人能解释一下么？
1、逻辑运算中吸收原则，又叫吸收律：A+AB=A。这个本身就是一个最基本的法则。2、对于最基本的法则，应该使用真值表来证明。如果像A+AB=A(1+B)=A•1=A这样推导，推导过程中你使用了分配律、零一律、等律，看似可以，但你必须保证在推导分配律、零一律、等律等基本法则时，没有使用到吸收律。否则，就形成了循环论证。例如，你推导吸收律用了分配律，推导分配律又用了吸收律，这个就是循环论证。就好象推导3=5是因为5=3，推导5=3是因为3=5，结果可以的到3=5和5=3都是对的。3、推导，一般用于使用最基本的法则，去推导更复杂的法则。
逻辑公式之吸收律是什么含义
逻辑公式的吸收律，即原变量吸收律和反变量吸收律的含义。
A + AB =A
A + (A非）B = A + B
(A非） + AB = (A非） + B
或：
A + !AB
= A(1 + B) + !AB
=A + AB + !AB
=A + (A + !A)B
=A + B
扩展资料：
设有某个集合闭合在两个二元运算下。如果这些运算是交换律、结合律的，并满足吸收律，结果的抽象代数就是格，在这种情况下这两个运算有时叫做交和并。因为交换律和结合律经常是其他代数结构的性质，吸收律是格的定义性质。由于布尔代数和 Heyting代数是格，它们也服从吸收律。
因为经典逻辑是布尔代数的模型，直觉逻辑是 Heyting代数的模型，吸收律对分别指示逻辑或和逻辑与的运算。
参考资料来源：百度百科-吸收定律
