Czyli pierwszy gracz nie ma strategii zwycięskiej.
Jeśli na planszach jest odpowiednio: 17, 18 i 19 żetonów, to funkcja P(17,18,19) = F(17) xor F(18) xor F(19) = 2 xor 3 xor 4 = 5. Pierwszy gracz ma strategię zwycięską. By zwyciężyć powinien zabrać trzy żetony z trzeciej planszy.
Twierdzenie sformułowali niezależnie od siebie R.P. Sprague (1935) oraz P.M. Grundy (1939).
Bibliografia Thomas S. Ferguson, Game Teory.
Kategoria:Teoria gier Sprague’a-Grundy’ego