多项选择题

A.((p∨~q)∧q)→~p
B.((p∧q)∧r)→(p∧r)
C.((~p→q)∧q)→~p
D.((p→q)∧(r∧p))→q
E.(p→q)∧(r→s)∧(q∨s))→(p∨r)