A в действительности утверждает: "Не верно, что X виновен, а Y не виновен". Но это то же самое, как если бы A утверждал: "Либо X не виновен, либо Y виновен". Следовательно, A и B в действительности утверждают одно и то же, но выражают свою мысль по-разному. Таким образом, утверждения, приведенные в задаче, либо оба истинны, либо оба ложны, поэтому A и B должны быть однотипными.
