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