求概率事件[(AB)ˉ∪C)(AC)ˉ]ˉ的化简