问题 更新时间2023/4/3 12:59:00 [单选题,6.6分] 下列公式类型属于重言式的是( )。A.q∨¬((¬p∨q)∧p)B.(p∨¬p)→((q∧¬q)∧r)C.(p→q)∧¬pD.¬(p→q)∧q 答案 登录 注册 参考答案:A 出自:联大 >> 河南理工大学-计算机科学与技术-离散数学