Digital Electronics Lecture notes