LAWS
ANULMENT - can never be true
IDENTITY - OUTPUT exactly matches the input A
IDEMPOTENT - INPUT is or or AND with itself then output matches the input (duplicated inputs)
COMPLEMENT - Paired inputs again, one is inverse of the other (NOT) for OR gate this would always result in 1 and for AND gate this will always result in 0.
DOUBLE NEGATION - Two NOT gates in series will result in the same input and output (any NOT gates in series will result produce this result)
ADDITION
Boolean addition corresponds with the logical function of an OR gate.
MULTIPLICATION
Boolean multiplication corresponds with the logical function of an AND gate.