El problema de mentir en la programación

Si A es verdadero, entonces B miente. B está diciendo que C es verdadero, lo que contradice a C, por lo que A miente.

Si B es verdadero, entonces C miente, y lo que C dice es que ni A ni B mienten, entonces A miente, pero B no miente.

Si C es verdadera, entonces B no mintió y C no mintió. Esto es una contradicción.

En resumen, B no mintió, otros mintieron.