Упражнение:

Напишите программму и докажите, что:

myxor(A,B,Result):-

bitnot(B,NotB),bitand(A,NotB,AandNotB),

bitnot(A,NotA),bitand(NotA,B,NotAandB),

bitor(AandNotB,NotAandB,Result).

действует аналогично:

bitxor(A,B,Result)