[多选题]

当p→q、q→p和﹁p∨﹁q三个公式均真时，下列公式取值为真的是（）。

A . p→﹁q

B . ﹁p→q

C . q→﹁p

D . p↔q

E . ﹁p∧﹁q