第二个命题，对于某个局面(a1,a2,…,an)，若a1^a2^…^an<>0，一定存在某个合法的移动，将ai改变成ai’后满足a1^a2^…^ai’^…^an=0。不妨设a1^a2^…^an=k，则一定存在某个ai，它的二进制表示在k的最高位上是1（否则k的最高位那个1是怎么得到的）。这时ai^k<ai一定成立。则我们可以将ai改变成ai’=ai^k，，此时a1^a2^…^ai’^…^an=a1^a2^…^an^k=0。
旅行，有一种苍凉，“浮云游子意，落日故人情”，
博弈学习（一） NIM + SG函数
