若（），则SIP真，SOP真。A、S与P全同B、S真包含PC、S真包含于PD、S与P全异

若（），则SIP真，SOP真。