运用命题变形推理，SAP可换位为（）。