bitXor Csapp实验1 异或的推导过程

　　实验要求是：

　　 bitXor - x^y using only ~ and &　　

　　然后代码如下：

int bitXor(int x, int y)//使用~和&完成异或操作
{
    return ~(~x&~y)&~(x&y);
}

　　本人想了一下如何推导，却没有办法很快推导出来，只能用笨方法，方法如下：