Question

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

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

Answer 1

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

Answer 2

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