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