Starting with the logic diagram for the 7 4x283 in Figure 6-87, write a logic expression for the S3 output in terms of the inputs, and prove that it does indeed equal the fourth sum bit in a binary addition as advertised. You may assume that c0 = 0 (i.e., ignore c0).
