컴퓨터 구조에서 질문 있다.

[수크라제(inviolable)]

 A+B 했을 때 결과의 상위 2비트의 XOR한 결과가 0일 때 오버플로우인 이유가 뭐야???

[관노(203.226)]

16가지 경우밖에 읍는데 그걸 안 해보고

[관노(203.226)]

새머가리 새끼야 마지막에 생기는 carry 두개로 하는거다

[수크라제(inviolable)]

아 땡큐

[관노(39.119)]

http://electronics.stackexchange.com/questions/19705/how-to-determine-overflow-from-an-adder-subtractor

[수크라제(inviolable)]

이거 경우의 수 다 따져서 귀납적으로 결론 도출하는 수밖에 없는거야?? 연역적인 방법은 없어?