问题描述:
[单选]
谓词公式是()。
A.可满足的
B.不可满足的
C.有效的
D.非有效的
参考答案:查看无
答案解析:无
☆收藏
答案解析:无
☆收藏
- 我要回答: 网友(3.133.109.251)
- 热门题目: 1.在 UML 中,对象行为是通 2.类库是一种预先定义的程序库, 3.已知某山区六个乡镇C1,C2