Boolean Algebra Review
| Identity Laws | xV0=x x^1=x |
| Domination Laws | xV¬x=1 x^¬x=0 |
| Associative Laws | (x V y) V z = x V (y V z) (x ^ y) ^ z = x ^ (y ^ z) |
| Commutative Laws | x V y = y V x x ^ y = y ^ x |
| Distributive Laws | x V (y ^ z) = (x V y) ^ (x V z) x ^ (y V z) = (x ^ y) V (x ^ z) |