You are correct. If two expressions are equivalent, no matter which values you plug for the variables, the results will always be the same.
Two equivalent expression represent the same computation, so if you do the same computation with the same inputs, you'll get the same output.
