把P↑Q表示为只含有"↓"的等价公式。

A、一定存在S到x的最左推导

B、一定会有S到y的两种不同的推导

C、一定存在S到y的最左推导

D、一定存在唯一与x对应的语法树

(1)A→(B→A)，￢A→(A→￢B)．

(2)Q→(P∨Q)，￢Q∧(P∨Q)．

(3)](A∨(A∧B))，B．

(4)￢P∧￢Q，P∨Q．

设G=是含有命题变元P, Q的公式，则G一定不是( )

A、主合取范式

B、主析取范式

C、析取范式

D、合取范式