Examinemos los casos posibles.
Si ambos son veraces, la respuesta correcta a “¿sois ambos mentirosos?” es no. A diría no. B dice “Ha dicho que no”, lo cual es verdad. Este caso encaja.
Si A es veraz y B mentiroso, A diría no. Entonces B, al decir “Ha dicho que no”, estaría diciendo la verdad, lo cual no puede ocurrir si es mentiroso.
Si A es mentiroso y B veraz, la respuesta correcta sigue siendo no, así que A, al mentir, tendría que decir sí. Pero entonces B no podría decir verazmente “Ha dicho que no”.
Si ambos son mentirosos, la respuesta correcta a “¿sois ambos mentirosos?” sería sí. A, al mentir, diría no. Pero entonces B, al decir “Ha dicho que no”, estaría diciendo la verdad.
Solo queda una posibilidad: A y B son veraces.