Text this: 分析技术自动化基础——逻辑方程和自动定理证明