We are given that x and y are positive integers. We are to determine if x is even.
Statement 1: x^y + y^x is even.
There are two conditions for which x^y + y^x results in an even number.
i. x^y is odd and y^x is odd so that odd+odd=even
or ii. x^y is even and y^x is even so that even+even=even
In i. above, x and y must necessarily be odd. This is because an odd number multiplied by itself any positive integral number of times will yield an odd number. so if x is odd, and y is even or odd, x^y will be odd. Similarly, if x is even and y is odd or even, x^y will always be even.
So either both x and y are odd or both x and y are even, leading to yes and no answers.
Statement 1 is insufficient.
Statement 2: y^x + 4x is odd.
from statement 2, we can clearly say that y is odd. But x can be either odd or even and 4x will always be even.
Statement 2 is insufficient.
1+2
Sufficient.
We know that y is odd, so x must also be odd per the caveat that statement 1 has two possibilities. Both x and y are either even or odd. So if y is odd, x is odd. We know y is odd from statement 2, hence x must be odd as well.
The answer is C.