Consider the following statements:
$S_1 : \forall x P(x) \vee \forall x Q(x)$ and $\forall x (P(x) \vee Q(x))$ are not logically equivalent.
$S_2 : \exists x P(x) \wedge \exists x Q(x)$ and $\exists x (P(x) \wedge Q(x))$ are not logically equivalent
Which of the following statements is/are correct?
- Only $S_1$
- Only $S_2$
- Both $S_1$ and $S_2$
- Neither $S_1$ nor $S_2$