solve using substitution, solve the equation, return substituted values, solve the equations, the final solutions are: x∨1=1, x∨2=3