From Boolean Logic to Switching Circuits and Automata