对于子句C1∨L1和C2∨L2，其中L1、L2是单文字。如果L1与～L2可合

时间:2021-04-19 09:54来源:未知作者:admin 点击: 次

7.对于子句C1∨L1和C2∨L2，其中L1、L2是单文字。如果L1与～L2可合一，且s是其合一者，则(C1∨C2)s是其＿式。这一过程称作＿。 A. 置换置换 B. 合一合一 C. 归结归结 D. 递归递归

7.对于子句C1∨L1和C2∨L2，其中L1、L2是单文字。如果L1与～L2可合一，且s是其合一者，则(C1∨C2)s是其＿式。这一过程称作＿。

A. 置换置换

B. 合一合一

C. 归结归结

D. 递归递归

(责任编辑：admin)要这答案加QQ：800020900 或加微信：vq800020900 获取

顶一下

(0)

踩一下

(0)

------分隔线----------------------------

猜您喜欢

栏目列表

推荐内容

热点内容

提示信息×