Logarithm Rules

Product, quotient, power, and change-of-base rules for logs.