# BAZ
# Simple circuit to test:
# Input: x1, x2, x3
# Output: y
# y = (x1 and x2) or (x2 and x3)

GATE("x1", type="inp")
GATE("x2", type="inp")
GATE("x3", type="inp")
GATE("y", type="out")
GATE("g1", type="and2")
GATE("g2", type="and2")
GATE("g3", type="or2")

WIRE("x1", "g1/x1")
WIRE("x2", "g1/x2")
WIRE("x2", "g2/x1")
WIRE("x3", "g2/x2")
WIRE("g1/y", "g3/x1")
WIRE("g2/y", "g3/x2")
WIRE("g3/y", "y")