A.1 =
A
A + 0 =
A
A . A =
A
A + A =
A
A + ¬A =
0
A . ¬A =
0
¬¬A =
A
A . 0 =
0
A + 1 =
1
Commutative law
X . Y = Y . X
X + Y = Y + X
Associative law
X. (Y . Z) = (X . Y) . Z
X + (Y + Z) = (X + Y) + Z
Absorption law
X + (X . Y) = X
X . ( X + Y) = X
Distributive law
X . (Y + Z) = (X.Y) + (X .Z)
De Morgan’s laws
X .Y = ¬(¬X + ¬Y)
X + Y = ¬(¬X . ¬Y)