问题描述:
[单选]
谓词公式是()。
A.可满足的
B.不可满足的
C.有效的
D.非有效的
参考答案:查看无
答案解析:无
☆收藏
答案解析:无
☆收藏
- 我要回答: 网友(216.73.216.187)
- 热门题目: 1.在白盒测试用例中,有语句覆盖 2.数据流图(DFD)以图形的方 3.IDEF方法是美国空军针对计
