数理逻辑优化设计

1