def definition(circuit):
d = Or(2, width)(Invert(width)(And(2, width)(circuit.a,
circuit.b)),
XOr(2, width)(circuit.b, circuit.c))
wire(d, circuit.d)
def definition(circuit):
d = Or(3, width)(circuit.a,
Invert(width)(And(3, width)(circuit.a, circuit.b,
circuit.c)),
XOr(3, width)(circuit.b, circuit.c, circuit.a))
wire(d, circuit.d)