Lecture 3: Boolean Algebra I * the basics