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