Introduction to the theory of switching circuits