对数运算法则及推论