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.