如果甲和乙考试都没有及格的话，那么丙就一定及格了。 上述前提再增加以下()项，就可以推出“甲考试及格了”的结论。

A．丙及格了

B．乙和丙都没有及格

C．丙没有及格

D．乙和丙都及格了

OMT 定义了三种模型来描述系统。 （49） 可以用状态图来表示； （50） 可以用数据流图来表示。 （51） 为上述两种模型提供了基本的框架。

（49）处填（）。

A．对象模型

B．功能模型

C．动态模型

D．类模型