多项选择题

当p→q、q→p和﹁p∨﹁q三个公式均真时,下列公式取值为真的是()。

A.p→﹁q
B.﹁p→q
C.q→﹁p
D.p↔q
E.﹁p∧﹁q