I'm wondering how I should read the outcome of a DNF (disjunctive normal form) query.
For example, the DNF of $((p \land q) \lor \neg r)$ should be $(p \land q \land r) \lor (p \land q \land \neg r) \lor (p \land \neg q \land \neg r) \lor (\neg p \land q \land \neg r) \lor (\neg p \land \neg q \land \neg r)$, since each of the disjuncts constitutes a model for $((p \land q) \lor \neg r)$.
But when I ask WA for 'DNF ((P && Q) || ~ R)', I get the following: $((P \land Q) \lor \neg R)$ which by itself isn't particulary useful :)
So this begs the question: what am I doing wrong here?