def definition(circuit):
d = NOr(2, width)(NAnd(2, width)(circuit.a, circuit.b),
NXOr(2, width)(circuit.b, circuit.c))
wire(d, circuit.d)
def definition(circuit):
d = NOr(2)((NAnd(2)(circuit.a, circuit.b)), NXOr(2)(circuit.b,
circuit.c))
wire(d, circuit.d)