离散数学-验证某个运算表是否满足可结合性程序代码