이 인텐션은 bool 비교 표현식
not(a negop b)
을
a op b
로 변환합니다. 여기서
op
및
negop
은
==
및
!=
와 같이 서로 정반대의 비교 연산자입니다.