Commutative laws
A+B≡B+A
A·B ≡ B·A
Associative laws
A+(B+C) ≡ (A + B)+C
A·(B·C)≡(A·B)·C
Distributive laws
A·(B+C)≡(A·B)+(A·C)
(A+B)·(A+C)≡A+B·C
A+(B·C)≡(A+B)·(A+C)
Tautology/Idempotent laws
A·A≡A
A+A≡A
Tautology/Identity laws
1·A≡A
0+A≡A
Tautology/Null laws
0·A≡0
1+A≡1
Tautology/Inverse laws
A·A≡0
A+A≡1
Absorption laws
A·(A+B)≡A
A+A·B≡A
A+(A·B)≡A
A+A·B≡A+B
De Morgan's laws
(A·B)≡A⇀+B
(A+B)≡A·B