Indovinello: Onesto, Bugiardo, Xor

[3m0o]

Si può risolvere con solo tre domande!

[axpgn]

Non è vero! Occorrono anche tre risposte

[Drazen77]

Se siamo tutti d'accordo...
sarebbe ora della soluzione.
Contrari?

[veciorik]

La negazione del Bugiardo e la disgiunzione esclusiva di Xor sono applicati/valutati dagli oracoli prima o dopo degli eventuali connettivi logici (AND OR XOR ...) presenti nelle domande composte ?
IMHO dopo, ma mi resta un dubbio.

[3m0o]

La negazione del Bugiardo e la disgiunzione esclusiva di Xor sono applicati/valutati dagli oracoli prima o dopo degli eventuali connettivi logici (AND OR XOR ...) presenti nelle domande composte ?
IMHO dopo, ma mi resta un dubbio.

Dopo.

Se siamo tutti d'accordo...
sarebbe ora della soluzione.
Contrari?

La soluzione la pubblicherò fra un paio di giorni.

Non è vero! Occorrono anche tre risposte

Come darti torto...

[melba]

Forse ci sono. La mia soluzione, però, prevede una domanda per ogni oracolo.

Testo nascosto, fai click qui per vederlo

Prendo in considerazione i possibili casi di attribuzione d'identità. Sono sei:

e per ogni caso le risposte alle tre domande, come dallo schema qui sopra, supponendo 1=sì e 0=no.
Ad ogni caso corrisponde una combinazione di risposte diversa. La prima combinazione (1-0-1) si adatta al primo caso (A=Xor, B=Onesto e C=Bugiardo), la seconda al secondo caso e così via. Quindi ci sono sei possibili soluzioni.
Per dimostrare poi che effettivamente 1 significa "sì" e 0 significa "no" basta prendere in esame la prima combinazione di risposte rovesciando i significati dei simboli ossia 1=no e 0=sì (dimostrazione per assurdo), ne risulta il seguente quadro:

dal quale si ricava che molte risposte (in rosso) non potrebbero essere date dall'oracolo che dovrebbe fornirle,
es. Xor non risponderebbe "no" alla domanda "B è onesto?", dato che le risposte date da Onesto e Bugiardo sarebbero rispettivamente "sì" e "no".

Saluti
Melba

[dan95]

@melba
I casi 001 e 110 non sono distinguibili in quanto non puoi sapere a priori il significato delle parole sì e no. Questa strategia ha sviato sia me che Alex dalla vera soluzione

[melba]

@dan95
Hai ragione, questa strategia porta in un vicolo cieco, la strada giusta è un'altra

Testo nascosto, fai click qui per vederlo

1a domanda ad A: "Sei tu bugiardo?"
tutti e tre gli oracoli risponderebbero "no", così sappiamo che no significa no (v. mio messaggio del 18 gennaio);
2a domanda sempre ad A: "Sei tu che hai risposto alla mia prima domanda?"
se A risponde "no" A=Bugiardo (gli altri due risponderebbero "sì", Onesto perché dice la verità e Xor perché le risposte di Onesto e Bugiardo a questa domanda sarebbero discordi);
3a domanda a B: "C è Onesto?"
se B risponde "no" B=Onesto, e di conseguenza C=Xor
se B risponde "sì" B=Xor (infatti anche in questo caso le risposte di Bugiardo e Onesto sarebbe discordi) e C=Onesto.
Nel caso che alla seconda domanda A risponda "sì" avremo A=Xor oppure A=Onesto. Con la 3a domanda a B "C è onesto?",
se B risponde "sì" B=Xor, A=Onesto e C=Bugiardo (infatti Onesto non risponderebbe "sì" perché questo implicherebbe che A fosse Bugiardo);
se B risponde "no" B=Onesto, A=Xor e C=Bugiardo.

Saluti
Melba

[melba]

Scusate non va neanche così

Testo nascosto, fai click qui per vederlo

Anche Bugiardo potrebbe rispondere no alla 3a domanda

Melba

[Drazen77]

La chiudiamo con quattro domande.
Con tre no.