Un problema de lógica establece que: 'Si A es verdadero, entonces B es falso. Si B es verdadero, entonces C es falso. Si C es verdadero, entonces A es falso.' ¿Cuál es la condición necesaria y suficiente para que A, B y C sean verdaderos?