This is my solution so far. Is it correct that I used these laws to prove the given is a contradiction or am I missing something?