Artificial intelligent assistant

Is this formula in normal form prenex $(\forall x)(\exists y)(P(x) \land (\exists z)Q(y, z))$? In my course notes, this $(\forall x)(\exists)z(P(x) \land (\exists z)Q(y, z))$ formula is said to be in `normal form prenex`. But, shouldn't al cuantors be in the back of the formula? I mean, I would expect this formula to be in the normal form prenex: $(\forall x)(\exists y)(\exists z)(P(x) \land Q(y, z))$

Yes prenex normal form must have all quantifiers at the front so what you said is correct.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy a655329e066b816080434c3b22e2e3c8