当S与P的外延间具有（）关系或（）关系时，SOP取值为假。