Title: introduction to the logical design of swtching systems