Какая из формул является предваренной нормальной формой? 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)))
Это точно не первая и не вторая Если я не ошибаюсь то это 3 Там ведь легко это делать\ главное подумать
Нет. 3-й ответ не верен
Верный 4-ый ответ.