switching theory and logic design