Statements in prenex normal form.

1.2k Views Asked by At

Put these statements in prenex normal form.

a) $\exists x \ P(x) \vee \exists x \ Q(x) \vee A$, $\textit{where A is a proposition not involving any quantifiers.}$

b) $\neg (\forall x \ P(x) \vee \forall x \ Q(x))$

c) $\exists x \ P(x) \rightarrow \exists x \ Q(x)$

I just need a hint.