Digital Electronics Lecture Notes