当S与P具有（ ）或（ ）关系时，SIP与SAP同真。