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.
Os circuítos son descritos por expresións contendo variabeis, e dúas expresión son iguais para todos os valores das variabeis se e só se os correspondentes circuítos teñen o mesmo comportamento da relación entrada-saída.