在 Python 中从逻辑表中创建 Dnf 和 Cnfsympy，sagemath

如何解决在 Python 中从逻辑表中创建 Dnf 和 Cnfsympy，sagemath

如果有人知道，我目前正在 OpenEDX 中开发任务。 我想创建逻辑表并让其他人从逻辑表中评估 dnf 和 cnf。 我开始使用 sympy，但它只评估一个答案，所以我发现了 sagemath，它也有一个逻辑库。 所以我尝试了一下，但我不确定如何手动创建逻辑表并从中获取 dnf。在文档中，您可以从逻辑函数中获取真实性还是我遗漏了什么？

s = propcalc.formula("z1")
s.truthtable()

我希望我可以用这样的东西手动生成一个真值表

t = logictable.truthtable(values,variables)

然后把 dnf 弄出来。

解决方法

要创建真值表，请使用 sympy.satisfiable 函数，列出所有 使逻辑表达式为真的符号赋值。

使用这个真值表，sympy.POSform 和 sympy.SOPform 函数 将提供最小的 POS 或 SOP 逻辑表达式。

另外，请注意 sympy.sympify 使用 eval，因此请确保字符串表达式 已消毒。

from sympy import *

my_names = 'ABCD'
A,B,C,D = symbols(','.join(my_names))
ns1 = {'A': A,'B': B,'C': C,'D': D}
my_symbols = tuple(ns1.values())
es1 = '~(C | D | ~(A | B))'
e1 = sympify(es1,locals=ns1)
print(f"String {es1} with symbols {my_symbols}",f"\n\tmakes expression {e1}")
models = satisfiable(e1,all_models=True)
minterms = list(models)
print('SOP form (DNF):',SOPform(my_symbols,minterms))
print('POS form (CNF):',POSform(my_symbols,minterms))

输出：

# String ~(C | D | ~(A | B)) with symbols (A,D)
#   makes expression ~(C | D | ~(A | B))
# SOP form (DNF): (A & ~C & ~D) | (B & ~C & ~D)
# POS form (CNF): ~C & ~D & (A | B)