以下命题公式中，为永真式的是()A(Q∨┐P)→(P∧┐P)B┐(Q→Q∧P)C(P→┐P)→┐PDP∧(P∨Q∨R)