>>760
二進数の加法と、mod2の加法は同じもの
二進数では加法に関する逆元、つまりaに対してa+b=0となるb、
は自分自身なのです
なので
＞p、qが一致すれば0、でなければ1