and(implies(not(u), not(v)), not(implies(not(u), not(v)))