Week Two Logic and Boolean Algebra