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