Предложение FOL является действительным или нет. Либо дайте доказательство обоснованности, либо приведите модель, в которой предложение является ложным

Question

(∀x. ∃y. P (x) ∨ q (y)) ↔ ((∀x. P (x)) ∨ (∃y. Q (y)))

Я пытаюсь преобразовать это в CNF. Но, не может быть доказано. Я не знаю, как решить эту проблему.