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