Gọi $p, q$ là hai trạng thái của 2 game khác nhau, $N(p)$ là tập các trạng thái đến được từ p.
$$SG(s) = Mex (SG(N(s)))$$ $$SG\left((p, q)\right) = SG(p) \oplus \ SG(q)$$