After using a distributive law of "or" over "and":
Go to next step