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