Introduction to Boolean Algebra