After using the associative law for disjunctions:

Go to next page