当p→q、q→p和﹁p∨﹁q三个公式均真时,下列公式取值为真的是()。
A:p→﹁q
B:﹁p→q
C:q→﹁p
D:p↔q
E:﹁p∧﹁q
出自:哲学