为什么在第一篇题解中，最后满足先手必胜的数量是$s_{sum}$，此时异或出来不是0吗？

按照SG函数的定义，0不是先手必败吗？

求解答谢谢