Variables can have only one of two values. They are either 0 (zero) or 1 (one), true or false.
Commutation rulesA + B = B + AAssociation rules
AB = BAA + (B + C) = (A + B) + CAbsorption rules
A (BC) = (AB) CA + (AB) = ADistribution rules
A (A + B) = AA (B + C) = AB + ACDeMorgan's theorem
A + BC = (A + B)(A + C)