Привести к ПНФ

[Fan]

(∀x)(∃y)(¬Q(x,y))∨(∃x)(∃y)(R(z,z)∨¬Q(x,y)∨P(y))
(∀x)(∃y)((∃w)(¬Q(x,y) ∨ ¬Q(x,y) ∨ R(z,z) ∨ P(y))
правильно ли всё вынес?

-- 29.04.2024, 16:36 --

(∀x)(∃y)((∃w)(¬Q(x,y) ∨ ¬Q(w,y) ∨ R(z,z) ∨ P(y))
чуть поправка

[Ende]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы)

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.