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