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