10.设有置换集S,首先根据S构造U1、U2两个表达式,其中U1由置换集S中的所有被置换的变量组成,U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时,它们的mgu就是该置换集的_。
A. 合一复合
B. 一致置换
C. 一致解图
D. 合一者
(责任编辑:admin)要这答案加QQ:800020900 或加微信:vq800020900 获取