DNF (disjunctive normal form) of a formula in W|A

Questions
, ,
1

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 :slight_smile:

So this begs the question: what am I doing wrong here?

2

Actually the result you obtained does appear to be the DNF. That is to say, the input was a;lready in disjunctive normal form (an or of ands of atoms and their negations, by definition).