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