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

Жанна в категроии Математика, вопрос открыт 10.02.2018 в 21:16

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