原子斷言分解