For the first problem (in case you don't use this notation, means or, means and, and means not):
1. First thing is to get rid of the implication. I'm not sure what this rule is called, my prof called it implication reduction but your textbook might call it something else. At any rate,
2. Now use the distributive property,
3. From there, recognise that is always false, and that (false x) = x (where x is any logical expression).
4. Then use DeMorgan's law to distribute the in the second set of brackets.
5. At this point your expression should have only 's in it. You can use the associative law to remove all the brackets.
6. Notice that is always true, and true x = true (where x is any logical expression).