SMS: Introduction to logic design