ECE 595Z Lecture 3: Advanced Boolean Algerbra I