X' is the set of blood types that type AB- cannot donate blood to
Y is the set of blood types that type AB+ can donate blood to
From the table, AB- cannot donate blood to:
(This is all the blood types minus the ones that can receive from AB-)
U - {AB+, AB-} = {A+, B+, A-, B-, O+, O-} = X'
Y = {AB+}
So the negations:
X = {AB+, AB-}
Y' = {A+, B+, AB-, A-, B-, O+, O-}
And this is our final answer
