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