Quantifiers and negation (∀, ∃) (Negation swaps ∀/∃ and pushes ¬ inside)

jee-advancedjee-main

Negation swaps ∀/∃ and pushes ¬ inside