题目内容

谓词公式 G 是不可满足的，当且仅当对所有的解释。

查看答案

搜索结果不匹配？点我反馈

更多问题

若C1=﹁P∨Q，C2=P∨﹁Q，则C1和C2的归结式R(C1, C2) = 。

若C1=P(x)∨Q(x)，C2=﹁P(a)∨R(y)，则C1和C2的归结式R(C1, C2) = 。

广度优先搜索算法中， OPEN 表的数据结构实际是一个，深度优先搜索算法中，OPEN 表的数据结构实际是一个。

在MYCIN推理中，对证据的可信度CF(A)、CF(A1)、CF(A2)之间、规定如下关系：CF(﹁A)= ，CF(A1∧A2)= ，CF(A1∨A2)= 。