代数逻辑优化

1