산술연산에서 overflow가 발생했을 경우 이것을 검출해야 하는데 이 때 사용되는 논리 게이트는?