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

• A、p→﹁q
• B、﹁p→q
• C、q→﹁p
• D、p↔q
• E、﹁p∧﹁q