摘要
对位运算的运算律进行了研究,得到了按位与、按位或、按位异或及移位运算在交换律、结合律以及对加法的分配律方面的一些性质。基于这些性质,还研究了维基百科所列一个同余恒等式的证明方法,并给出了一个正确的证明。
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.
出处
《佛山科学技术学院学报（自然科学版）》
CAS
2011年第3期53-57,共5页
Journal of Foshan University(Natural Science Edition)
基金
广东省自然科学基金资助项目(10158000100016)
佛山市产学研基金资助项目(2010C012)
关键词
按位运算
运算律
同余恒等式
bitwise operation
operation law
modulo identity
