Home Identity Domination Associative Commutative Distributive Review

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)

Boolean Complement

Boolean Sum

Boolean Product

CS 330