多项选择题

A.P ∨(X ∨ØP)
B.Ø(P ∧Q)∨(ØP ∧ØQ)
C.(P→A)→(B→Y)
D.(A→Y)→(B→((A→Q)→Y))