问题描述：
[单选]
下列命题公式中为重言式的是 Ⅰ．（（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．Ⅰ、Ⅱ、Ⅲ和Ⅳ
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
上一篇：数据流图可用于抽象描述一个软件的逻辑模型，并由若干种基本的图形符号组成，下述图名 Ⅰ．加工 Ⅱ．数据流 Ⅲ．数据存储 Ⅳ．外部实体 构成数据流图的基本图形有
下一篇：在多道程序系统中，多个进程可对共享设备进行同时访问。因此，在实现时应考虑问题有 Ⅰ．正确性 Ⅱ．系统性能 Ⅲ．合理性
- 我要回答: 网友(3.15.14.245)
- 热门题目: 1.在关系数据模型中，外键（Po 2.软件生产的复杂性和高成本，使 3.软件测试是软件开发的重要环节