Use the "design by contraction" strategy to derive the equations that implement a 4-bit increment-by-3 circuit from the equations that implement a standard adder If it helps to visualize the circuit, imagine that you are starting with a 4-bit adder: ?? ?? A2 B2 A1 B1 A0 BO C4 C2 CO S3 S2 S1 SO Your strategy should consist of choosing specific values for B (B3 B2 B1 BO) and CO that will cause the output S (S3 S2 S1 So) to always equal A (A3 A2 A1 A0) plus 3, and then using Boolean algebra to reduce the equations that contain constants