Course: switching theory and logic design