A Symbolic Analysis Of Relay And Switching Circuits