BDD 使用 PyEDA 測試表達式是否為真
[英]BDD test if an expression is true using PyEDA
我正在嘗試使用 PyEDA package BDD 實現，並提供“真/假”數據來構建功能性 BDD。 然后在構建的 BDD 中測試新表達式是否為“真”時我的數據是否得到更新。 但是，我無法利用“等效”方法並獲得“真”。 也許，表達結構是錯誤的，或者別的什么。 我不是來找電子背景的，因此我無法完全理解 ...
Python 表示點之間距離和不等式 DNF 的庫
[英]Python libraries for representing distance between a point and DNF of inequalities
讓我們將變量數固定為 4：所以 x0、x1、x2、x3。 我正在尋找一個 python 構造，它允許我： (i) 在 memory 中存儲一個析取正規公式，其中原子公式是不等式：a0x0 + a1x1 + a2x2 + a3x3 >= a4 或等式：a0x0 + a1x1 + a2x2 + ...
如何將否定傳播到文字？
[英]How to propagate negation down to literals?
我想轉換一個表達式，以便所有否定運算符都向下傳播到文字。 所以~(a | b)變成~a & ~b 。 有人對此有解決方案嗎？from pyeda.boolalg.expr import expr formula = "~(a | b)" e = expr(formula, simplif ...
有效地創建結構化的二元決策圖
[英]Efficiently create structured binary decision diagram
我正在嘗試創建具有特定結構的 BDD。 我有一個 boolean 變量 x_i 的一維序列，例如 x_1、x_2、x_3、x_4、x_5。 如果沒有孤立的一或零（可能在邊緣除外），我的條件就滿足了。 我已經使用pyeda實現了這一點，如下所示。 該條件相當於檢查連續的三元組 ([x_1, x_2, ...
如何使用包含 boolean 表達式的字符串創建 PyEDA boolean 表達式？
[英]How to create a PyEDA boolean expression using a string containing a boolean expression?
我正在從前端以( (A & B) | (C & ~D) )的形式獲取 boolean 表達式。 我需要將其轉換為可以通過 PyEDA 解決的 boolean 表達式。 在 PyEDA 中編寫 boolean 表達式有兩個步驟。 Create boolean variables A ...
PyEDA：將文本字符串轉換為 DNF 形式
[英]PyEDA: Converting a Text string to DNF form
我是 Python 的初學者。 我正在嘗試使用 PyEDA 將文本字符串轉換為其 DNF 形式。 我的代碼適用於這個字符串。 X[0]&(X[1]|X[2]) --> 或(和(X[0],X[1]), 和(X[0],X[2])) 但是當我嘗試使用下面提到的字符串時，它不能按預期工作。 ...
pyeda 方法“抽象語法樹”
[英]pyeda method “to abstract syntax tree”
我真正想做的是將 boolean 表達式轉換為 integer 線性規划約束。 我試圖首先將表達式轉換為 CNF（使用pyeda ），然后從 CNF 形成約束（因為這非常簡單）。 但是，我無法理解.to_ast() function 輸出的抽象語法樹。 例如，在表達式(~C1 | ~P1 | ~O ...
從可用數據結構生成二元決策圖
[英]Generating Binary decision diagram from an available data structure
這個問題有點長； 請多多包涵。 我有一個數據結構，其中包含這樣的元素{x1, x2, x3, x4, x5} ： 它們代表真值表中的所有 TRUE。 當然，該集合中不存在的 5 位字符串元素對應於真值表中的 FALSE。 但是我沒有對應於所述集合數據結構的boolean function。 我看到了 ...
PYEDA 函數真值表
[英]PYEDA truthtable of functions
希望有人對 PYEDA 感覺良好。 我想向函數添加虛構變量讓我有 f=x1，但是我怎樣才能得到這個函數的真實性，它也會有 x2 就像 f(x1)=x1 的真值表是： 但是對於 f(x1,x2)=x1 是： 但是我會得到第一個表，pyeda 會自動將 x1&(x2|~x2) 簡化為 ...
有什么方法可以對二進制決策圖的變量重新排序？
[英]Any way to reorder variables for binary decision diagrams?
我正在研究用於二進制決策圖的教學工具，其中還具有用於變量重新排序的功能。 誰能建議一個合適的庫在構建樹時實現變量重新排序，或者某種實現相同的算法？ 最好使用像pyeda，buDDy或pycudd這樣的庫，因為我已經熟悉這些庫。 如果您需要任何澄清，謝謝並發表評論。 ...
Pyeda：布爾表達式的中綴形式
[英]Pyeda: infix form of boolean expression
Pyeda允許以前綴形式和中綴形式編寫布爾表達式： 盡管可以從i相對前綴形式中自動檢索，但我不知道（文檔中沒有發現）是否可以檢索p的字符串中綴表示形式。 有幫助嗎？ ...