A = 1 и B = 0 что и требовалось, если брать произвольные A и B то представив в двоичном виде и расширив действия приведённые выше на все разряды то получаем искомое. Единственное условие операция XOR должна быть определена в том множестве систем в которых определяется и сам алгоритм.