It is also possible to derive similar rules for minimum of two functions in normal form and the logarithm of a single function in normal form. Please do so for homework.
