河南成教 / 离散数学
正确率:100%
2[单选题]
下列公式类型属于重言式的是( )。
A.q∨¬((¬p∨q)∧p)
B.(p∨¬p)→((q∧¬q)∧r)
C.(p→q)∧¬p
D.¬(p→q)∧q
下列公式类型属于重言式的是( )。
参考答案: