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

[Naon]

Привести к предваренной нормальной форме (ПНФ) и к сколемовской нормальной форме (СНФ).
$ \forall x \forall y [\exists z P(x,y,z) &[\exists u Q(x,u) \rightarrow \exists u Q(y,u)]] $
Напомните как решать за что браться и так далее. Заранее благодарю.

[arseniiv]

Naon в сообщении #779830 писал(а):

Напомните как решать

У вас нет учебника/лекций?

[Naon]

arseniiv в сообщении #779839 писал(а):

Naon в сообщении #779830 писал(а):

Напомните как решать

У вас нет учебника/лекций?

Есть лекция одна ( я на заочное поступил в этом году) вот часть задания решил а остальное не могу..обратился к вам на форум

[Toucan]

Тема перемещена в Карантин.

Приведите свои попытки решения задачи и объясните, что конкретно вызывает затруднения.

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.