이상의 정수 , 에 대하여 는 와 의 비트별 배타적 논리합(XOR) 이다. 즉, 와 의 이진수 표현에서 같은 자리의 두 비트가 서로 다르면 해당 자리에 을, 같으면 을 두어 얻는 값이다. (C, C++, Java, Python 언어의 ^ 연산자와 같다.)
예를 들어,
양의 정수 과 에 대하여, 는 을 로 나눈 몫을 뜻한다. 예를 들어, 이다.
다음 식을 만족하는 양의 정수 이 유일하게 존재한다. 우변의 값이 이진법으로 표현되었음에 유의하라.
이 을 이진법으로 나타내어라.