2 分离 — disjunction