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