Simplify the following expressions and for each simplification step, please write the name of the boolean algebra theorem that you are using.