i1 + i2 + i3 + i4

i >= 50

i > 50 AND i[-1] <= 50

i1 WHEN (i1 > i2) i2 OTHERWISE

in AND (gate = 0)

in AND gate

in AND (gate = 0)

in AND gate

true

true

in AND (gate = 0)

in1 OR in2 OR In3

i1 > i2