对数运算法则(rule of logarithmic operations)