winning strategy and symbolic representation for rules of the game