and(not(or(u, v)), not(not(or(u, v)))