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

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)))

Верный 4-ый ответ.

это точно не первая и не втораяЕсли я не ошибаюсь то это 3Там ведь легко это делать\главное подумать