python - python中的命题演算

Question

我正在寻找适用于 python 的命题演算模块。

我的用户需要在文本区域中输入一个公式，然后我必须检查它是否正确。

我无法直接测试输入文本是否等于正确文本，因为它没有考虑排列或类似因素。

是否存在这样的模块？

- 编辑-

这是项目的截图(设计未完成):

Answer 1

这并不难。您需要做的就是 (a) 查找或 (b) 编写一个接受任意命题并生成真值表的实用程序。然后，对于两个命题，您需要做的就是生成两个真值表并检查原子变量和最后一列是否在所有行中匹配。

这是原子变量个数的O(2^n)，并且假设每个命题包含相同数量的原子变量。如果可能包含额外的无用原子变量(如 OR(b 或 NOT b)等同于 a)，您将需要填充更简单命题的真值表以获得相同的行数。如果允许使用不同的原子变量，那么这会变得更加困难。

你不能比 O(2^n) 做得更好，假设 P != NP，因为多项式解可以解决命题演算的一般可满足性问题。

要生成真值表，您需要 (a) 生成原子变量真值的所有 2^n 排列的列表(有很多方法可以做到这一点)，以及 (b) 评估任意赋值的命题原子变量的真值。然后制作两个表格并进行比较。瞧!