and(v, not(v)