Title: Synthesis of Relay Switching Circuits