多项选择题

A.p2
B.p1→p2
C.(¬(¬p111))
D.(p1∧p2)
E.((A →(B →A )))