多项选择题

已知前提p∧┐q→┐s∧r,如果要推出┐p,则需要加上前提()

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