Steve, I have the problem with the terms having the double bars. I applied the DeMorgan's theorem but failed to simplify properly. If you can simplify please upload solution with all steps.
Perhaps you should post what you get when you apply de Morgan's theorem to the first problem. I can check it, and suggest the next step (hint - I already have)