Find formulas that are negations of the formula: $(forall xin A)((xin B)lor (exists yin B)(x>y))$

  1. (∀x∉A)((x∉B)∧(∃y∉B)(x≤y))
  2. (∃x∈A)((x∈B)∨(∀y∈B)(x≤y))
  3. (∃x∈A)((x∉B)∧(∀y∈B)(x≤y))
  4. (∃x∉A)((x∈B)∨(∃y∈B)(x≤y))

I don’t know how many correct answers there should be, but I tried (they are incorrect):

1,3
3,4
2,4