Eccomi. Ti chiedo scusa per il ritardo.
Le frasi sono sintetizzabili in:
- X1 o X2
- (non X2) o (non Y3)
- Y3 o Z4
- 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.