Acabo de ver este rompecabezas al final de este Veritasium vídeo.
El problema es el siguiente:
Tres personas hacen tres declaraciones.
Watson: "Exactamente 2 de los 3 estamos mintiendo".
Hudson: "Exactamente 2 de los 3 estamos mintiendo".
Sherlock: "La luz está apagada."
¿La luz está encendida o apagada?
Mi idea para resolver este rompecabezas era tomar todas las permutaciones de verdadero/falso para considerar cada una de ellas.
TTT, TTF, TFT, TFF, FTT, FTF, FFT, FFF
Descarté TTT y TTF porque si tanto Watson como Hudson dicen la verdad, entonces sus declaraciones son falsas; por lo tanto, estarían mintiendo.
Luego descarté TFT, TFF, FTT, FTF simplemente porque Watson y Hudson no pueden dar la misma declaración y que sea simultáneamente verdadera y falsa.
Quedan FFT y FFF.
Si fuera FFT, exactamente 2 de los 3 sería estar mintiendo y así llegamos a una paradoja.
Por lo tanto, concluí que la única opción válida es que los tres mintieran. Watson y Hudson mienten porque exactamente 2 de los 3 mienten es falso, en cambio los tres mienten. Y Sherlock está mintiendo y por lo tanto la luz debe estar encendida.
¿Estoy en lo cierto? ¿Es correcta mi lógica? Parece que he podido cometer un error en alguna parte. Sigo dándole vueltas y me vuelvo a confundir.
¿Hay alguna forma de resolverlo con un método más ordenado? Me encantaría saberlo.