問題タブ [pyeda]

Graphviz と gvmagic をインストールした後、BDD を表示するために次のコマンドを実行します。

ただし、次のエラーが表示されます: FileNotFoundError [WinError 2] Le fichier spécifié est introuvable

このエラーの背後にある理由についての手がかりはありますか?

PYEDAを心地よく感じる人がいることを願っています。

関数に架空の変数を追加したい f=x1 としますが、この関数の真偽値を取得するにはどうすればよいでしょうか。これには x2 も含まれます。

f(x1)=x1 の真理値表は次のとおりです。

しかし、f(x1,x2)=x1 の場合:

しかし、最初のテーブルを取得すると、pyeda は x1&(x2|~x2) を x1 に自動的に単純化します。この x2 を追加するにはどうすればよいですか?

ここにそれを修正するためのアルゴリズムがあります。各ポイントで手動で func を計算しています。ここで、関数には 1 ～ 4 の変数を含めることができ、すべてのポイントと x1...x4 の組み合わせを計算しています。

私が実際にやろうとしているのは、ブール式を整数線形計画法の制約に変換することです。最初に式を CNF に変換し ( を使用)、次に CNF から制約を作成しようとしてpyedaいます (これは非常に簡単なので)。しかし、.to_ast()関数が出力している抽象構文木を理解するのに苦労しています。.to_ast()例として、式を実行すると(~C1 | ~P1 | ~O1) & (~C1 | ~P1 | ~O2)、出力は次のようになります。

-が否定であり、整数が変数の 1 つを表していることは明らかです。整数から変数へのマッピングがあるかどうかは誰にもわかりませんか? 短い質問に対する長い説明...

私はPythonの初心者です。PyEDA を使用してテキスト文字列を DNF 形式に変換しようとしています。私のコードは、この文字列に対して正常に動作します。

X[0]&(X[1]|X[2]) --> Or(And(X[0],X[1]), And(X[0],X[2]))

しかし、以下の文字列を試してみると、意図したとおりに機能しません。何が問題なのかを理解するのを手伝ってくれる人はいますか?

ありがとう！

入力文字列:

意図した出力:

コード：

現在の出力: