Привести формулу к ПНФ и СНФ, исчисление предикатов

[DaDaYa1]

Прошу помочь привести формулу к предваренной нормальной форме (ПНФ) и сколемовской нормальной форме (СНФ). Пересмотрел все обучающие видео и примеры из книг, но к сожалению до меня это просто не доходит. Мои попытки закончились на этом:

ПНФ:
\overline{p\to\exists xR(x)} = \overline{\overline{p}\vee\exists xR(x)} = p\overline{\exists xR(x)}

[Lia]

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

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

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