Introduction to the Theory of Switching Circuits