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