Onesto, Bugiardo, Xor e i tre logici

Ok Alex, una qualunque domanda a risposta nota (sei un oracolo?) va bene come domanda del terzo logico ad A.
Ciò che continuo a non capire è come se la sarebbe cavata il primo logico se A avesse risposto sì alla prima domanda.

@andomito
Premessa: spoiler, please

Testo nascosto, fai click qui per vederlo

Non è quello che vuole sapere l'OP, a lui interessa solamente la domanda del terzo, ovvero parte dal presupposto che i "NO" sono due quindi non è necessario supporre che la risposta alla prima domanda dovesse per forza essere "NO".
E in un certo senso era quello che cercavo di fargli capire: il terzo, conoscendo le due risposte (e pure la seconda domanda) è nelle stesse condizioni del primo quindi è in grado di fare la stessa domanda del primo (avendone le stesse capacità); che esista però una domanda che sia tale da generare sicuramente un "NO", è tutto da dimostrare (ed infatti l'OP bypassa questo problema nelle sue ipotesi)
Spero di essermi fatto capire …

Cordialmente, Alex

Testo nascosto, fai click qui per vederlo

Allora la scelta delle domande non è necessariamente ottimale, in quanto non è richiesto un numero minimo di domande, con la strategia di domande del primo logico sicuramente non riesce a determinare con certezza le identita degli oracoli avendo a disposizione solo 3 domande, ma poco importa. Quindi pur essendo logici perfetti possono avere strategie diverse, ad esempio il primo potrebbe aver pensato a una serie di domande per determinare sicuramente le identità con 4 o con 5 domande, a me sembrava chiaro questo punto, ma forse era meglio specificarlo. Quindi il primo ed il terzo non sono nella stessa situazione

Ma della "soluzione" che ho dato che mi dici?

Testo nascosto, fai click qui per vederlo

Il terzo esploratore chiede all'Oracolo A: "Tu sei XOR?"

Se risponde "NO" allora avremo A=sincero; B=bugiardo; C=XOR
Se risponde "SÌ" allora avremo A=bugiardo; B=XOR; C=sincero

Il resto più tardi perché non ho tempo …

Cordialmente, Alex

Scusa non avevo visto, giusta!

Testo nascosto, fai click qui per vederlo

Infatti alla domanda due deduciamo che A non puo essere XOR in quanto avrebbe risposto si e non no.
Inoltre sappiamo che entrambe le risposte date dall oracolo A sono un no.
A questo punto la prima domanda potrebbe essere di tre tipologie
Tipo 1: alla prima domanda sia onesto, che bugiardo che xor rispondo no
Tipo 2: alla prima domanda onesto risponde no mentre bugiardo e xor rispondono si
Tipo 3: alla prima domanda bugiardo risponde no, mentre onesto e xor rispondono si

Esempio tipo 1: "Se ti chiedessi: "Roma si trova in italia?" Mi risponderesti no?"
Esempio tipo 2: Roma si trova in francia?
Esempio tipo 3: Roma si trova in italia?

Con una domanda di tipo 1 ci sono due possibilità di no-no
A Onesto, B bugiardo, C Xor e A bugiardo, B xor, C onesto
Con una domanda di tipo 2
A onesto, B bugiardo, C xor
Con una domanda di tipo 3
A bugiardo, B xor, C onesto

Siccome il primo logico dalle risposte no-no capisce le identità allora esclude la possibilità di tipo 1 per la prima domanda
Il secondo logico sentendo la prima domanda sa in quale caso si trova (tipo2 o tipo3), mentre al terzo logico manca questa informazione e dunque non può sapere a priori in quale caso si trova. O sbaglio? Perché dici che il terzo ed il primo sono nella stessa situazione?

Testo nascosto, fai click qui per vederlo

Io partivo dal presupposto che fosse sottinteso che il primo avesse fatto due domande sufficienti e che, quindi, anche il terzo avrebbe potuto fare, per cui, conoscendo le risposte, non avesse necessità di farne nessuna.

Cordialmente, Alex