and(or(w, v), not(or(w, v)))