Properties of Boolean Algebra

 

v                      Commutative Property

 

-       X * Y = Y * X

-       X + Y = Y + X

 

v                      Complement Property

 

            Complement is a binary variable such that

-       X * X = 0

-       X + X = 1

 

v                      Absorbtion Property

 

            Useful for reducing switching algebra expressions

-       X + X * Y = X

-       X * (X + Y) = X

 

v                      Idempote Property

 

-       X * X = X

-       X + X = X

 

v                      Binary variables & constants

 

-       X + 0 = X

-       X + 1 = 1

-       X * 0 = 0

-       X * 1 = X