你可能感兴趣的试题

A.正向与反向两种求解技术，来得到一种图解的推理方法。
B.规则正向演绎推理来求出目标表达式，是得到文字的析取式。
C.规则反向演绎推理来求事实表达式，是得到文字的合取式。
D.正向与反向两种求解技术，来得到一种文字的范式。

A.{P∨Q∨┐R，P}
B.Π{6}
C.Σ{6}
D.{┐（P∧┐Q）,┐Q∨R}