Is the following formula in DNF?
$$((P \land Q) \land ( \neg R \land \neg S)) \lor ((r \lor s) \land (\neg p \lor \neg q))$$
I think it is not a DNF, because in the second part there are OR's inside an AND. Is this correct?
How should I rewrite this to a proper DNF?