Simplify NOT((Y OR (NOT X)) XOR Y)