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.
Circuits are defined using expressions with variables. Two such expressions are considered equivalent when their inputs and outputs match for every value of the variables.