XOR

排他的論理和(XOR)についての性質のメモ

A^B = (A&!B)|(!A&B)
    = (A|B)&(!A|!B)
    = (A|B)&(!(A&B))

• A^B = B^A（交換則）

• (A^B)^C = A^(B^C) （結合則）

• A^A = 0

• A^B = 0 ならば　A = B

a, b, c…が0か1のとき、

a^b^…^c = 1 (1が奇数個)
           0 (1が偶数個)