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).

Attempt:

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

(Equivalence law)

(Implication law)

(Double negation)

(De Morgan's law)

(Distributive 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