Circuits are described by expressions containing variables, and two such expressions are equal for all values of the variables if and only if the corresponding circuits have the same input-output behavior.
The concept of circuit equivalence hinges on matching input-output behavior, regardless of the specific values of the variables used to describe them.