- Anything ANDed with a 0 is equal to 0. A * 0 = 0
- Anything ANDed with a 1 is equal to itself. A * 1 = A

- Anything ORed with a 0 is equal to itself. A + 0 = A

- Anything ORed with a 1 is equal to 1. A + 1 = 1

- Anything ANDed with itself is equal to itself. A * A = A

- Anything ORed with itself is equal to itself. A + A = A

- Anything ANDed with its own complement equals 0.

- Anything ORed with its own complement equals 1.

- Anything complemented twice is equal to the original.

- The two variable rule.