The four laws include product rule law, quotient rule law, power rule law, and change of base rule law. These are also considered the basic properties of logarithms.