1983年，我国第一台亿次巨型电子计算机诞生了，它的名称是银河。

软件的复杂性是（ ），它引起通信困难、开发费用超支、开发时间超时等问题。

在软件开发的各种资源中，（ ）是最重要的资源。

单元测试的测试用例主要根据（ ）的结果来设计。

设S(x): x是三好学生, a:张三, b: 李四, 命题“张三是三好学生而李四不是”符号化为（ ）

下面哪一个命题是假命题（ ）

在自然数集N上，下列哪种运算是可结合的？( )

设S={0，1}，*为普通乘法，则是( )

命题逻辑演绎的CP规则为( ).

下面4个推理定律中，不正确的为( )。

设p:王平努力学习，q:王平取得好成绩，命题“除非王平努力学习，否则他不能取得好成绩”的符号化形式为( )。