this is about herbrand expansion of predicate logic
Q: exhibit truth-assignment verifying the Herbrand expansion of the following formula:
$$(\forall x(Px \vee Qx) \wedge \forall x \exists y(Px \Leftrightarrow \neg Py))$$
dont really understand what my teacher want me to do here i thought after the herbrand expansion there will be infinite propositional formulas how can i exhibit the truth value on it. can somebody help me to answer this question??