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