离散数学-验证某个运算表是否有单位元、零元程序代码