Circuits are described by expressions containing variables .
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 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 .