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):
c = Or(2, width)(lsl(circuit.a, circuit.b),
lsr(circuit.a, circuit.b))
wire(c, circuit.c)
def definition(circuit):
c = Or(2, width)(static_left_shift(circuit.a, 2),
static_right_shift(circuit.b, 3))
wire(c, circuit.c)
def definition(circuit):
d = Or(2)(Not()(And(2)(circuit.a, circuit.b)), XOr(2)(circuit.b,
circuit.c))
wire(d, circuit.d)
def definition(circuit):
d = Or(3, None)(ReduceNAnd(width)(circuit.a),
ReduceNOr(width)(circuit.b),
ReduceNXOr(width)(circuit.b))
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)