代数法则以及集合法则

代数法则以及集合法则

总体而言代数法则和集合法则是非常相似的
这里我归纳了常用的代数法则：
交换性：A∪B=B∪A和A∩B=B∩A；
结合性：
A∪（B∪C）=（A∪B）∪C ；
A∩（B∩C）=（A∩B）∩C；
幂等性：A∪A=A和A∩A=A；
分配性：
A∪（B∩C）=（A∪B）∩（A∪C）；
A∩（B∪C）=（A∩B）∪（A∩C）；
德摩根定律：（A∪B）’=A’∩B’和（A∩B）’=A’∪B’；
双补律：（A’）=A，
普遍定律：A∪U=U和A∩U=A；
空集定律：A∅=A和A∅=A；
补律：A∪A’=U，A∩A’=U；
吸收定律：A∪（A∩B）=A和A∩（A∪B）=A。

代数法则和集合法则不同的表示主要集中为T/F/not
比较有代表性的就是这三种：
Double Negation and Complement:
¬ ¬P ⇔ P matches A = A ;
Tautology and Universe Laws:
P ∨ true ⇔ true matches A ∪ U = U
P ∧ true ⇔ P matches A ∩ U = A;
Contradiction and Empty Set Laws:
P ∨ false ⇔ P matches A ∪ ∅ = A
P ∧ false ⇔ false matches A ∩ ∅ = ∅;