换质推理公式：

SAP→SE¬P

SEP→SA¬P

SIP→SO¬P

SOP→SI¬P

换位推理公式：

SAP→PIS

SEP→PES

SIP→PIS

SOP不能换位。