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