多项选择题

A.(p→¬p)→q
B.q→(¬q→p)
C.(p→p)→¬q
D.p→(¬q→p)