Let A be the statement form . Find a statement form B in "relaxed" disjunctive normal form which is logically equivalent to A. Then Show that (i.e. derive B from A using logical laws).
Here's my truth table, I've marked with a * the rows where A is true:
So the disjunctive normal form would be:
Is this correct? ("Relaxed" DNF means we must have disjunctions of conjunctions in which eachvstatement variable occurs exactly once).
Now, we must derive B from A using logical laws
(De Morgan's law)
This is how far I've got. Could anyone please show me how to complete this?
P.S. Here are the list of all laws http://img833.imageshack.us/img833/9242/laws.jpg