Analysis on the operation law of bitwise operation and the demonstration of a modulo identity
Xingbo Wang · Journal of Foshan University · 2011
The paper makes an investigation into the operation law of bitwise operation and obtains some properties of bitwaie AND,bitwise OR,bitwise exclusive or(XOR) and bit-shifts operation in term of commutative law,associative law and distributive law.Based on the obtained properties,the paper explores the demonstration of a modulo identity that is exhibited in Wikipedia and presents a correct proof for the formula.