Designing Circuits with Switching Algebra