相容互斥公式