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

A、SOP-->SIP

B、SIP-->SOP

C、SAP-->SEP

D、SEP-->SIP

国家实行计划用水，厉行( )。

A．按量用水
B．按人用水
C．按户用水
D．节约用水