I\'m having some difficulty with a problem I think.
If X = true and Y = true
((X AND Y)\' AND (X\' OR Y\') \' ) \'
I get back true. When I put it in Wolfram