FOL语句是否有效。提供有效性证明或提供其中句子为假的模型

Question

（∀x。∃y。p（x）∨q（y））↔（（∀x。p（x））∨（∃y。q（y）））

我正在尝试将其转换为CNF。但是，无法证明。 我不知道该怎么解决。