Title: Logical Design of Electrical Circuits