Semester 3 : Switching theory and logic (STLD)