axpgn ha scritto: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?