Какая из формул является предваренной нормальной формой?

1. (∀y)(∃x)(P(x,y,z)∧¬(¬Q(x,y)))
2. ((∀y)P(x,y,z))∧¬((∃x)¬Q(x,y))
3. (∀y)(∃x)(P(x,y,z)↔(¬Q(x,y)))
4. (∀y)(∃x)(P(x,y,z)→(¬Q(x,y)))