Text this: Introduction to the logical design of switching systems