Thread: disjunctive normal form question

I want to find a statement form in relaxed disjunctive normal form that is logically equivalent to .

The solution has to be . But I don't see how the got this answer.

I used a truth table, where I've marked with a * the rows where the statement is true:




by looking at those rows the disjunctive normal form is



So how did they get a different answer? How can we get the right answer using the table?

Are you familiar with the fact that:



If you continue you will find one false term.

Originally Posted by terrorsquid

Are you familiar with the fact that:



If you continue you will find one false term.

Yes, that follows from the impliction law. But what do you mean that I find one false term?

Well, the way I got to your answer is as follows:

from





is clearly false.

Removing it, you are left with your answer provided.

I'm not sure if that is what you are looking for.

But my question is how do you get this answer by looking at the truth table? You just got this answer using the logical laws. Sometimes we are required to do it via the table, not logical laws.