河南成教 / 离散数学
正确率：100%
2、下列公式类型属于重言式的是（ ）。
A. q∨¬((¬p∨q)∧p)
B. (p∨¬p)→((q∧¬q)∧r)
C. (p→q)∧¬p
D. ¬(p→q)∧q
A. q∨¬((¬p∨q)∧p)
B. (p∨¬p)→((q∧¬q)∧r)
C. (p→q)∧¬p
D. ¬(p→q)∧q
参考答案：
佳题速递：