位运算的性质

交换律
a|b = b|a
a&b = b&a
a^b = b^a


结合律
(a|b)|c = a|(b|c)
(a&b)&c = a&(b&c)
(a^b)^c = a^(b^c)


分配律(其他类推)
a&(b|c) = (a&b)|(a&c)
a^(b|c)=(a^b)|(a^c)


其他
a|0 = a
a&1 = a
a&0 = 0


a^a = 0
a^0 =a


a|~a = 1
a&~a = 0
a&a = a
a|a = a


a|(a&b) = a
a&(a|b) = a