我有一个我不太了解的运动。
证明且仅当来自符号位置的进位不等于进入符号位置的进位时，加法在2的补码系统中溢出。考虑以下三种情况：添加两个正数，添加两个负数和添加两个相反符号的数。
通过结转并执行
，我知道在加人数时如何计数，以及如何查看加法是否溢出但是，我将如何以一般方式进行此证明？
答案 0 :(得分：0)
由于您的问题只显示了很少的细节，并且您没有显示自己的工作，因此我将以很少的细节回答。
对于这三种情况（两个肯定，两个否定，每种情况之一），请考虑四个子情况（进出符号位，进位但不出位，进位但不进位） ，完全没有携带）。在每种情况下，请表明其中一些子情况是不可能的。然后查看每个子案例，看看是否意味着溢出。
让我们看一下第一种情况-两个正数。首先表明，不可能对符号位进行任何加法运算，从而消除了两个子情况。然后证明进位到符号位（但不是没有进位）是一个溢出条件，没有进位（也没有出位）不是溢出条件。
然后在每个子情况下，您都将看到当两个进位（进出）不同时会发生溢出，并且在两个进位相等时不会发生上溢。
这可能不是您要寻找的“一般方法”，因为您需要考虑案例和子案例的十二种组合，从而消除一些案例并查看其他案例的后果。但这确实有效。如果您想要更多细节，请自己做更多的工作，我很乐意添加更多。