Lecture Notes for Digital Electronics