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