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