与“﹁”x(A(x)→B(x))”相等值的谓词公式是A$x(A(x)∧﹁B(x))B$x﹁(A(x)∧B(x))C”x(A(x)∧﹁B(x))D”x﹁(A(x)→B(x))