问题描述：
[单选]
谓词公式是（）。
A．可满足的
B．不可满足的
C．有效的
D．非有效的
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
- 我要回答: 网友(18.118.14.81)
- 热门题目: 1.在结构化设计中， （）描述了 2.在软件过程模型中，不属于演化 3.黑盒测试法是根据软件产品的功