After using a distributive law of "or" over "and":

Go to next step