P，Q是两个合适公式，Plogical andQ表示合取，Plogical orQ表示析取，~P表示否定关于谓词逻辑有如下定义：
2023-12-01人工智能
P，Q是两个合适公式，Plogical andQ表示合取，Plogical orQ表示析取，~P表示否定关于谓词逻辑有如下定义：对谓词演算公式进行分解和化简，消去一些符号，以求得导出子句（仅含析取及其否定）。按照这种定义，下面属于消解结果的是（ ）。
A.A∧（~Q∨P）
B.~Q∧~P
C.~Q∨P
D.~Q∧~P
正确答案是C
