a & (b | c)
neg a
red -> green