求子句R(x,y)∨﹁Q(B,y)∨W(x,f(y))和R(x,C)∨Q(y,C)的归结

首先，我们需要将两个子句都转化为合取范式（CNF）形式： R(x,y)∨﹁Q(B,y)∨W(x,f(y)) 可以转化为：R(x,y)∨﹁Q(B,y)∨W(x,z)∧z=f(y) R(x,C)∨Q(y,C) 可以转化为：R(x,C)∨Q(z,C)∧z=y 然后，我们可以使用归结推理来求解： 1. 从第一个子句中选择R(x,y)和第二个子句中的Q(z,C)进行归结，得到：﹁Q(B,C)∨W(x,f(C)) 2. 从第一个子句中选择﹁Q(B,y)和第二个子句中的R(x,C)进行归结，得到：﹁Q(B,C)∨W(x,f(C)) 3. 将步骤1和步骤2得到的结果进行合并，得到最终的归结结果：﹁Q(B,C)∨W(x,f(C)) 因此，R(x,y)∨﹁Q(B,y)∨W(x,f(y))和R(x,C)∨Q(y,C)的归结结果为：﹁Q(B,C)∨W(x,f(C))。