Eccomi. Ti chiedo scusa per il ritardo.

Le frasi sono sintetizzabili in:

1. X1 o X2
2. (non X2) o (non Y3)
3. Y3 o Z4
4. non X1

L'ultima è l'unica che ci dà una certezza, quindi partiamo da quella: "non X1".

Ora, se è vero che "non X1", per la 1 deve essere vera "X2".

Se è vero che "X2", allora è falso "non X2". Quindi per la 2 deve essere vera "non Y3".

Se è vero "non Y3", allora è falso "Y3. Quindi per la 3 deve essere vera "Z4".

Quindi la risposta corretta è la A.

In ciascun ragionamento ho sfruttato il fatto che se ho la proposizione "A o B" e io so che A è falsa, allora B è sicuramente vera. O, viceversa, se B è falsa, allora A è sicuramente vera.