数学逻辑-取余运算应用