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