Boolean algebra

Distributive law:
A(B+C) = AB + AC
A+BC = (A + B)(A+C)

Identity law:
A + 0 = A (Anything ORed with 0 is itself)
A * 1 = A (Anything ANDed with 1 is itself)

Complement LAW:
A + not A = 1
A * not A = 0
Any variable inverted twice is itself
not (not B) = B

Dual property
Statement
not (0) = 1
A + 1 = 1
A + A = A
A + not (A) = 1

Dual
not(1) = 0
A * 0 = 0
A * A = A
A * not(A) = 0