Lecture 02 - Boolean Algebra and Formal Logic