欢迎来到易学考试网 易学考试官网
全部科目 > 大学试题 > 计算机科学 > 人工智能

问答题

论述题

判断下列公式是否为可合一,若可合一,则求出其最一般合一。
(1)P(a,b),P(x,y)
(2)P(f(x),b),P(y,z)
(3)P(f(x),y),P(y,f(b))
(4)P(f(y),y,x),P(x,f(a),f(b))
(5)P(x,y),P(y,x)

    【参考答案】

    (1)可合一,其最一般和一为:σ={a/x,b/y}。
    (2)可合一,其最一般和一为:&sigma......

    (↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)

    点击查看答案
    微信小程序免费搜题
    微信扫一扫,加关注免费搜题

    微信扫一扫,加关注免费搜题