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