如何解决python中的真值表?
我在 Python 中工作,我想以真值表的形式操作数据。我需要简化表格,将表格转换为布尔表达式等...我发现了 sympy
,但它似乎没有为真值表提供本机支持。我还找到了一些其他实用程序,例如 pyeda
,但在深入研究其中一个之前,我想知道是否有任何普遍接受的标准包来满足我的需要。
有什么想法吗?提前致谢。
解决方法
从布尔表达式生成真值表并不难
与sympy
。
在下面的程序中,布尔表达式用于生成 可满足的模型列表。使用生成器 所有可能的变量真值组合,它列出了完整的 真值表。
import itertools
from sympy import *
from sympy.logic import simplify_logic
from sympy.logic.inference import satisfiable
my_names = 'ABCD'
A,B,C,D = symbols(','.join(my_names))
e1 = Nor(Nor(A,B),Or(C,D))
my_symbols = sorted(e1.atoms(Symbol),key=lambda x: x.name)
print('Set of symbols used:',my_symbols)
models = satisfiable(e1,all_models=True)
sat_mods = []
for m in models:
sat_mods.append(dict(sorted(m.items(),key=lambda x: x[0].name)))
truth_tab = []
for c in itertools.product((True,False),repeat=len(my_symbols)):
model = dict(zip(my_symbols,c))
truth_tab.append((model,model in sat_mods))
print(truth_tab)
输出:
# Set of symbols used: [A,D]
# [({A: True,B: True,C: True,D: True},# ({A: True,D: False},# ...
,
我有一个用于从布尔表达式创建真值表的库:https://github.com/salt-die/truth_tables。
示例用法:
>>> from truth_tables import TruthTable
>>> my_table = TruthTable('p or q','~p -> q','T and ~T')
>>> print(my_table)
┌───┬───┬────────┬─────────┬──────────┐
│ p │ q │ p or q │ ~p -> q │ T and ~T │
├───┼───┼────────┼─────────┼──────────┤
│ F │ F │ F │ F │ F │
│ F │ T │ T │ T │ F │
│ T │ F │ T │ T │ F │
│ T │ T │ T │ T │ F │
└───┴───┴────────┴─────────┴──────────┘
>>> print(my_table.ast)
Or
├─Var('p')
╰─Var('q')
Implies
├─Negate
│ ╰─Var('p')
╰─Var('q')
And
├─Const(True)
╰─Negate
╰─Const(True)
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。