单项选择题
下列命题公式中哪个（些）为重言式？ （） Ⅰ．（（p∨q）→r┌）→（（p→r）∧（q→r）） Ⅱ．（p→（q∨r））→（（p→q）∧（p→r）） Ⅲ．（（p→q）∧（p→r））→（（p→r） Ⅳ．（（p∨q）∧（p→r））←（p→r）
A．Ⅲ B．Ⅰ和Ⅲ C．Ⅰ和Ⅱ D．Ⅰ、Ⅱ、Ⅲ和Ⅳ
A．需求分析阶段 B．概念设计阶段 C．逻辑设计阶段 D．物理设计阶段
A．UNIX的文件系统是树型结构的，便于管理和检索 B．UNIX提供了丰富的软件工具，如实用程序、文本工具和开发工具 C．UNIX把普通文件、目录文件和设备文件分别以不同方式进行管理 D．UNIX是多用户、多任务的分时操作系统