2023年8月15日
1003 Reasoning（大模拟）
摘要： [原题链接](https://acm.hdu.edu.cn/showproblem.php?pid=7373) # translation 现有一个推理系统，有如下符号组成： - 圆括号：$($ 和 $)$ - 逻辑连词：$\lnot$ 和 $\to$ - 全称量词：$\forall$ - 变量：$ 阅读全文
posted @ 2023-08-15 20:17 ClapEcho233 阅读(28) 评论(0) 推荐(0) 编辑