问题
问答题
使用线性归结和支持集策略的归结法证明
A1∧A2∧A3→B
其中
答案
参考答案：
归结过程有多种，但因采用支持集策略，顶子句必须是（7），另外采用线性归结策略，归结过程不能有分支。
搜题请搜索小程序“爱下问搜题”
使用线性归结和支持集策略的归结法证明
A1∧A2∧A3→B
其中
参考答案：
归结过程有多种，但因采用支持集策略，顶子句必须是（7），另外采用线性归结策略，归结过程不能有分支。