Lecture notes for Digital Electronics for Education and Pedagogy's students