each other. For example, we can define Sr as Sr = {(,9u>9v)∖9u and gv are two gates in the circuit, du.v < r (3.11) 37 << < 43 44 45 46 47 48 49 > >>