数理逻辑算法

1