Hello there.

I need to write a following formula using quantifiers, but it has to be in prenex normal form.

The formula is : function f is not weakly decreasing and not weakly increasing.

I got to here:

by negating :

But I have no idea how to proceed, since my solution is not in prenex normal form.

Please help.