Fundamentals of Switching Theory and Logic Design