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