回答情况：
提问时间：
问题标签：
我尝试首先将表达式转换为CNF (使用pyeda)，然后从CNF形式转换为约束(因为这非常简单)。但是，我在理解.to_ast()函数输出的抽象语法树时遇到了麻烦。
浏览 28提问于2020-05-06得票数 2
回答已采纳
我想在代码中导入Pyeda，但是cmd说是ImportError:没有名为pyeda.inter的模块。我对python太陌生了，所以我想问我是否能做些什么来解决这个问题？非常感谢!from pyeda.inter import *
浏览 13修改于2016-11-16得票数 0
回答已采纳
我是Python的初学者，我正在学习布尔代数，我正在测试这个函数： {x: 1, y: 0, z: 0}, {x: 1, y: 1, z: 0},我已经安装了pyeda
浏览 0提问于2015-11-07得票数 1
1回答
希望有人对PYEDA感觉很好。0 0但是对于f(x1，x2)=x1是：0 0 01 0 1但是我将得到第一个表，pyeda
浏览 5修改于2020-03-08得票数 1
回答已采纳
我正在尝试使用PyEDA将文本字符串转换为DNF形式。我的代码可以很好地处理这个字符串。1]|X[2])&X[3]|X[0]&X[3]or(and(X[0],X[1],X[3]),and(X[0],X[2],X[3]), and(X[0],X[3])import pyedafrom pyeda.inter import *
浏览 2提问于2020-05-20得票数 0
我是Python的新手，我在玩，我的问题是:我有类似的布尔表达式我想访问布尔函数的参数，或者，和，不。有可能吗？我试图使用模块检查，但一无所获。
浏览 6修改于2014-10-28得票数 4
回答已采纳
我试图使用PyEDA包BDD实现，并输入“真/假”数据来构造一个功能性BDD。然后，当我的数据被更新时，测试是否在构造的BDD中的新表达式是"True“。from pyeda.inter import *
# 0001
浏览 7提问于2022-11-24得票数 0
我需要把它转换成一个布尔表达式，这个表达式可以通过PyEDA来解决。要在PyEDA中编写布尔表达式，需要执行两个步骤。("z", num_variables)此方法不起作用，因为创建的表达式和变量是字符串类型，而正确的类型应该是表达式的<class 'pyeda.boolalg.expr.OrOp'>和变量的<class 'pyeda.boolalg.expr.variables'
浏览 18提问于2020-07-02得票数 0
允许以前缀形式和infix形式编写布尔表达式：i = expr("A & B | C & D") # infix有帮助吗？
浏览 3修改于2016-12-23得票数 1
回答已采纳
我正在遵循的教程，以可视化大多数函数BDD。我做了以下工作：例如，下面是作为BDD的三个变量中的多数函数：显然，我的图表现在已经制作好了，但是我如何看到它呢
浏览 0提问于2015-10-20得票数 0
last):File "/home/kmshah4/.local/lib/python3.6/site-packages/pyedaFile "/home/kmshah4/.local/lib/python3.6/site-packages/pyedansls.append(_nor
浏览 0提问于2018-11-26得票数 0
回答已采纳
from pyeda.boolalg.expr import expr
e = expr(formula, simplify=False)
浏览 7修改于2021-01-28得票数 1
1回答
我已经使用pyeda实现了这一点，如下所示。from functools import reduce farr =但是，我找不到任何在pyeda中直接操作BDD的方法。 有没有人知道我怎样才能更有效地工作？
浏览 25修改于2021-01-10得票数 1
最好能使用像pyeda、buDDy或pycudd这样的库，因为我已经熟悉这些库了。
谢谢，如果你需要任何澄清的话，请发表评论。
浏览 5提问于2017-06-30得票数 2
回答已采纳
2回答
我还找到了其他一些实用程序，比如pyeda，但是在深入其中一个工具之前，我想知道是否有任何普遍接受的标准包可以满足我的需要。
有什么想法吗？提前谢谢。
浏览 7提问于2021-02-03得票数 1
回答已采纳
我打算使用Pyeda库来解决这个表达式。步骤是: 1.解析规则，2.转换为BDD表单，3.解决规则。: print("Child: ", rule)
# heavy computation using Pyeda
浏览 4提问于2015-06-22得票数 1
回答已采纳
我甚至签出了pyeda，但是原子公式必须是布尔变量，不允许不等式和等式。
我可以重写整个代码来为DNF定义自己的类，也可以定义自己的距离函数，但我不想重新发明轮子。
浏览 13提问于2022-02-25得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号