问题描述:
[填空]
谓词公式G是不可满足的,当且仅当对所有的解释G都为()。
参考答案:查看无
答案解析:无
答案解析:无
- 我要回答: 网友(3.142.186.223)
- 热门题目: 1.1997年5月,著名的“人机 2.宽度优先搜索与深度优先搜索方 3.当某个算符被认为是问题求解的