设个体域为 $\{-1,1\}$, 并对 $P(x, y)$ 设定为 $P(-1,-1)=T, P(-1,1)=F, P(1,-1)=T$, $P(1,1)=F$, 其真值为 $T$ 的公式为 $\qquad$ .
A
$(\forall x)(\exists y) P(x, y)$
B
$(\exists x)(\forall y) P(x, y)$
C
$(\forall x)(\forall y) P(x, y)$
D
$(\forall y)(\exists x) P(x, y)$
E
F