After using the associative laws for disjunction:

Go to next page