and(not(not(and(u, or(not(w), w)))), not(not(not(and(u, or(not(w), w)))))