k0 {} *0 x k1 {.} = {*0} *1 xx k2 {.., x., .x} = {*0, *1 ... · 0, 1, 2, 3, 1, 4, 3, 2, 1, 4, 2, 6,...
TRANSCRIPT
![Page 1: K0 {} *0 x K1 {.} = {*0} *1 xx K2 {.., x., .x} = {*0, *1 ... · 0, 1, 2, 3, 1, 4, 3, 2, 1, 4, 2, 6, 4, 1, 2, 7, 1, 4, 3, 2, 1, 4, 6, 7, 4, 1, 2, 8, 5, 4, 7, 2, 1, 8, 6, 7. K0 {}](https://reader030.vdocuments.us/reader030/viewer/2022040904/5e777e82d8436666604ba61c/html5/thumbnails/1.jpg)
0, 1, 2, 3, 1, 4, 3, 2, 1, 4, 2, 6, 4, 1, 2, 7, 1, 4, 3, 2, 1, 4, 6, 7, 4, 1, 2, 8, 5, 4, 7, 2, 1, 8, 6, 7
. K0 {} *0
x K1 {.} = {*0} *1
xx K2 {.., x., .x} = {*0, *1, *1} *2
xxx K3 {.xx, x.x, ..x} = {*2, (*1 xor*1) = *0, *1} *3
xxxx K4 {.xxx, x.xx, ..xx, x..x} = {*3, *(1 xor 2) = *3, *2, *(1 xor 1) = *0} *1
xxxxx K5 {.xxxx, x.xxx, xx.xx, ..xxx, x..xx} ={*1, *(1 xor 3) = *2, *(2 xor 2)=*0, *3, *(1 xor 2)=*3}
*4
Using Sprague-Grundy
Sep 10, 2019 Page 1
![Page 2: K0 {} *0 x K1 {.} = {*0} *1 xx K2 {.., x., .x} = {*0, *1 ... · 0, 1, 2, 3, 1, 4, 3, 2, 1, 4, 2, 6, 4, 1, 2, 7, 1, 4, 3, 2, 1, 4, 6, 7, 4, 1, 2, 8, 5, 4, 7, 2, 1, 8, 6, 7. K0 {}](https://reader030.vdocuments.us/reader030/viewer/2022040904/5e777e82d8436666604ba61c/html5/thumbnails/2.jpg)
Properties of Equivalence
Sep 10, 2019 Page 2
![Page 3: K0 {} *0 x K1 {.} = {*0} *1 xx K2 {.., x., .x} = {*0, *1 ... · 0, 1, 2, 3, 1, 4, 3, 2, 1, 4, 2, 6, 4, 1, 2, 7, 1, 4, 3, 2, 1, 4, 6, 7, 4, 1, 2, 8, 5, 4, 7, 2, 1, 8, 6, 7. K0 {}](https://reader030.vdocuments.us/reader030/viewer/2022040904/5e777e82d8436666604ba61c/html5/thumbnails/3.jpg)
Lemmas
Sep 10, 2019 Page 3
![Page 4: K0 {} *0 x K1 {.} = {*0} *1 xx K2 {.., x., .x} = {*0, *1 ... · 0, 1, 2, 3, 1, 4, 3, 2, 1, 4, 2, 6, 4, 1, 2, 7, 1, 4, 3, 2, 1, 4, 6, 7, 4, 1, 2, 8, 5, 4, 7, 2, 1, 8, 6, 7. K0 {}](https://reader030.vdocuments.us/reader030/viewer/2022040904/5e777e82d8436666604ba61c/html5/thumbnails/4.jpg)
Sep 10, 2019 Page 4
![Page 5: K0 {} *0 x K1 {.} = {*0} *1 xx K2 {.., x., .x} = {*0, *1 ... · 0, 1, 2, 3, 1, 4, 3, 2, 1, 4, 2, 6, 4, 1, 2, 7, 1, 4, 3, 2, 1, 4, 6, 7, 4, 1, 2, 8, 5, 4, 7, 2, 1, 8, 6, 7. K0 {}](https://reader030.vdocuments.us/reader030/viewer/2022040904/5e777e82d8436666604ba61c/html5/thumbnails/5.jpg)
Sprague-Grundy
Sep 10, 2019 Page 5
![Page 6: K0 {} *0 x K1 {.} = {*0} *1 xx K2 {.., x., .x} = {*0, *1 ... · 0, 1, 2, 3, 1, 4, 3, 2, 1, 4, 2, 6, 4, 1, 2, 7, 1, 4, 3, 2, 1, 4, 6, 7, 4, 1, 2, 8, 5, 4, 7, 2, 1, 8, 6, 7. K0 {}](https://reader030.vdocuments.us/reader030/viewer/2022040904/5e777e82d8436666604ba61c/html5/thumbnails/6.jpg)
Sep 10, 2019 Page 6
![Page 7: K0 {} *0 x K1 {.} = {*0} *1 xx K2 {.., x., .x} = {*0, *1 ... · 0, 1, 2, 3, 1, 4, 3, 2, 1, 4, 2, 6, 4, 1, 2, 7, 1, 4, 3, 2, 1, 4, 6, 7, 4, 1, 2, 8, 5, 4, 7, 2, 1, 8, 6, 7. K0 {}](https://reader030.vdocuments.us/reader030/viewer/2022040904/5e777e82d8436666604ba61c/html5/thumbnails/7.jpg)
Nim-sum
Sep 10, 2019 Page 7