A simple check for overflow during addition is to see if the CarryIn to the most significant bit is not the same as the CarryOut of the most significant bit. Prove that this check is the same as in Figure 3.2.

Result Operation Operand A Operand B indicating overflow A B A B A B A- B