Forse ci sono. La mia soluzione, però, prevede una domanda per ogni oracolo.
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".