Which of the following is the negation of [∀ x, α → (∃y, β → (∀ u, ∃v, y))]

GATE · 2008 · IT

1. A.

   [∃ x, α → (∀y, β → (∃u, ∀ v, y))]

2. B.

   [∃ x, α → (∀y, β → (∃u, ∀ v, ¬y))]

3. C.

   [∀ x, ¬α → (∃y, ¬β → (∀u, ∃ v, ¬y))]

4. D.

   [∃ x, α ʌ (∀y, β ʌ (∃u, ∀ v, ¬y))]

Attempted by 156 students.