Disjunctive sum of games (source code)

= Disjunctive sum of games

= Disjunctive sums of games
{synonym}

= Disjunctive sum
{synonym}

In a disjunctive sum of games, each move changes exactly one component game. Under normal play, a player loses when no component has a legal move.