奖金计算与数学逻辑