After using the associative law for disjunctions:
Go to next page