notes on lectures introduction to digital electronics 516606