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