A Symbolic Analysis of Relay and Switching Circuits