展开 ab互不相容,则它们相互独