分野：テクノロジ系
中分類：基礎理論
小分類：離散数学

2の補数とは、負数を表現する方法の一つです。ある正数に対応する2の補数に求めるには、すべてのビットを反転して1を加えます。

この全ビットを反転するときに使われる論理演算が排他的論理和(XOR)です。排他的論理和には次のような特徴があります。

• 「XOR 0（0との排他的論理和）」の結果は元のビットそのままとなる
• 「XOR 1（1との排他的論理和）」の結果は元のビットを反転したビットとなる（0→1、1→0）

この性質を生かして、排他的論理和はあるビット列中で特定の部分だけを反転させるときに用いられます。

2進正数nから2の補数表現の－nを得るには、

1. nの全ビットを反転する ⇒ n XOR 11111111
2. ①の結果に1を加算する ⇒ ＋00000001

という演算を行うことになるため、上記2つの演算を組み合わせた「(n XOR 11111111)＋00000001」が正しい式となります。