and(v, not(v))