fix: logic

logic/README.md

@@ -119,6 +119,10 @@ python pycosat_test.py
 - `entails(premise, conclusion)`: 仅当前提(`premise`)蕴含结论(`conclusion`)时才返回 `True`。提示：`findModel` 在这里很有帮助；思考为了使其为真，什么必须是不可满足的，以及不可满足意味着什么。
 - `plTrueInverse(assignments, inverse_statement)`: 仅当给定赋值时，(not `inverse_statement`) 为真时，才返回 True。
 
-### 翻译：
+在继续之前，尝试实例化一个小句子，例如 ($A \wedge B \rightarrow C$)，并对其调用 `to_cnf`。检查输出并确保你理解它。（有关 to_cnf 实现的算法详情，请参考 AIMA 第7.5.2节）。
 
-在继续之前，尝试实例化一个小句子，例如 \(A \wedge B \rightarrow C\)，并对其调用 `to_cnf`。检查输出并确保你理解它。
+要测试和调试代码，请运行：
+
+```
+python autograder.py -q q1
+```