P，Q是两个合适公式，PQ表示合取，PQ表示析取，~P表示否定关于谓词逻辑有如下定义：文字—一个原子公式及其否定。子句—由文字的

P，Q是两个合适公式，PQ表示合取，PQ表示析取，~P表示否定关于谓词逻辑有如下定义：文字—一个原子公式及其否定。子句—由文字的析取组成的合适公式。（可含否定）消解—对谓词演算公式进行分解和化简，消去一些符号，以求得导出子句。按照这种定义，下面属于消解结果的是（ ）。

A.A∧（Q∨P）

B.Q∧P

C.Q∨P

D.~Q∧~P

正确答案是C