game for logic minimization