I think your basic idea is right, although the way you write it up seems unnecessarily messy to me. In particular I find it difficult to understand what introducing and gives you. Also, you probably meant to write that is equivalent to instead of . And I don't see an application of De Morgan's laws either...

Why not write the following: