Условие:
x xor ((not y) and z) = 4172254908151170811\ny xor ((not z) and a) = 2189585472114863504\nz xor ((not a) and b) = 15502950222574223236\na xor ((not b) and x) = 16354652845870889225\nb xor ((not x) and y) = 8883297339371743641

x xor ((not y) and z) = 4172254908151170811\ny xor ((not z) and a) = 2189585472114863504\nz xor ((not a) and b) = 15502950222574223236\na xor ((not b) and x) = 16354652845870889225\nb xor ((not x) and y) = 8883297339371743641
Ниже приводится подробное рассуждение, которое приводит к единственному решению системы (операции – всё по 64‐битовому представлению, то есть все отрицания интерпретируются как побитовый complement по модулю 2^64).
Пусть x, y, z, a, b – 64‐битовые беззнаковые целые числа, а все операции (xor, and, not) выполняются побитово на 64 битах. Тогда систему
(1) x xor ((not y) and z) = 4172254908151170811
(2) y xor ((not z) and a) = 2189585472114863504
(3) z xor ((not a) and b) = 15502950222574223236
(4) a xor ((not b) and x) = 16354652845870...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение