单项选择题

将“有的花不是红色的”进行换质推理的逻辑形式用公式表示为()

A、SOP-->SIP
B、SIP-->SOP
C、SAP-->SEP
D、SEP-->SIP