!((!X || !Y) && X)