academic lecture notes introduction to digital electronics 9922690