Ci sono 3 logici, solo che alcuni sono dei logici matti e altri sono sani (potrebbero essere tutti sani oppure tutti matti). Un logico sano deduce le verità e affermerà il vero mentre un logico matto deduce le verità e pensa al vero ma affermerà il falso. I logici si pronunciano solamente sulle cose di cui sono certi. Un logico matto è certo del fatto che 1+1=2 e lo penserà ma afferma che 1+1 non fa 2. I logici si conoscono e dunque sanno chi è sano e chi è matto e sono coscienti di essere sani oppure matti. Ci sono 3 oracoli A,B e C, uno è Onesto, uno è Bugiardo e l'altro è XOR. I logici si dilettano a porre domande ai tre oracoli, senza scopo alcuno.
Il primo esploratore parla e capisce la lingua dei 3 oracoli, il secondo ed il terzo non la conoscono a priori e non la parlano ne tanto meno la capiscono. Gli oracoli comunque comprendono l'italiano ma risponderanno solamente nella loro lingua.
Il primo ed il secondo esploratore sono davanti agli oracoli ma solo il primo farà le domande, nonostante questo il secondo sente sia le domande che le risposte. Mentre il terzo è rimasto indietro perché in ritardo. Il terzo esploratore vede che il primo esploratore pone una domanda all'oracolo A ma non sente né la domanda né la risposta. Arriva anche il terzo esploratore nel momento in cui il primo esploratore rivolgendosi all'oracolo A: "La mia seconda domanda è: 'B è XOR?' " ... L'oracolo A risponde : "Nir"
Il terzo esploratore sente la risposta dell'oracolo A alla seconda domanda "B è XOR?"
A questo punto i tre logici hanno il seguente dialogo:
Il primo: "Io ho capito le identità dei tre oracoli!"
Il secondo: "Io so come si dice sì!"
Il primo: "Nir vuol dire sì!"
Il terzo: "Sicuramente A non è XOR" poi aggiunge "domandando a B 'sono matto?' sono certo del significato della risposta!"
Chi è sano e chi è matto?