三、选言支的穷尽性和互斥性问题