Boolean Algebra

This is mainly the first half of SC1005.