Title: Algebraic Theory of Switching Circuits