试题详情
简答题 判断下列公式是否为可合一，若可合一，则求出其最一般合一。 （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）可合一，其最一般和一为：σ={y/f（x），b/z}。
    （3）可合一，其最一般和一为：σ={fB./y，b/x}。
    （4）不可合一。
    （5）可合一，其最一般和一为：σ={y/x}。

  • 关注下方微信公众号，在线模考后查看

热门试题