数学推导-位运算性质