多项选择题

A.(A∧C)
B.(~A→~B)
C.(B→A)
D.(A∧~B)
E.(A←B)