判断题 公式对P(x, b, b),P(a, y, z)可合一,且最一般合一为σ={a/x, b/y, b/z}