下列公式中为永真式的是:( )
·P→(P∨Q∨R)
·P∧(Q∨┐R)
·P∧┐P
·(P∨┐Q)→R
出自:佳木斯大学语言治疗学