多项选择题

下列各项中哪些是命题演算公理系统L的合式公式?()

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