（简答题）

判断下列公式是否为可合一，若可合一，则求出其最一般合一。（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}。

答案解析

略

相似试题

（填空题）
合一算法：求非空有限具有相同谓词名的原子公式集的（）
答案解析
（填空题）
合一算法：求非空有限具有相同谓词名的原子公式集的（）。
答案解析
（简答题）
简述多媒体未来发展的“三网合一”与“三电合一”。
答案解析
（单选题）
如果在某一单元格写入公式=Average（B2：F4），则求平均值一共有（）个单元格。
答案解析
（简答题）
三网合一：
答案解析
（填空题）
光纤通道能将（）三网合一。
答案解析
（简答题）
三网合一的目标是什么？
答案解析
（多选题）
光纤通道能使（）等网合一。
答案解析
（单选题）
当前通信技术所指的三网合一是（）
答案解析

快考试在线搜题