Q: Negate the statement and re-express as an equivalent positive statement. Need help with this homework problem. I need to negate the statement and then re-express it as a positive statement. I've searched online and haven't been able to find an answer. I'm having trouble grasping quantificational logic so thanks in advance to whoever helps.
Original statement:

Everyone is happy sometimes, but no one is happy all the time.

My attempt at symbolizing the statement: let x = be happy sometimes and y = to be happy all the time. ∀(x) ∧ ∃(¬y)
Any help is appreciated.
